Internationaler Master-Studiengang Computational Logic

Studienablaufplan Master Computational Logic

Pflichtmodule

MCL-AL

In diesem Modul werden keine Lehrveranstaltungen angeboten.

MCL-ILS

In diesem Modul werden keine Lehrveranstaltungen angeboten.

MCL-P

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Project Group Computational Logic	0/0/4	Prof. Rudolph	KI	P	ZVZ	ZVZ	AVO
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Hölldobler	KI	P	ZVZ	ZVZ	AVO
Project Group Model Checking	0/0/4	Dr. Klüppelholz	ThI	P	ZVZ	ZVZ	AVO
Project Group Semantic Search	0/0/4	Prof. Schroeder	BIOTEC	P	ZVZ	ZVZ	AVO
Project Group Theoretical Computer Science	0/0/4	Dr. Penaloza	ThI	P	ZVZ	ZVZ	AVO

MCL-F

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Logic	2/2/0	Prof. Hölldobler	KI	V V U U	Montag Donnerstag Dienstag Donnerstag	5. 4. 3. 2.	INF/E005 INF/E005 INF/E005 INF/E005	wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013) wöch. (Okt. 2013 - Nov. 2013)
Science of Computational Logic	2/2/0	Prof. Hölldobler	KI	V V U U	Montag Donnerstag Dienstag Donnerstag	5. 4. 3. 2.	INF/E005 INF/E005 INF/E005 INF/E005	wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014) wöch. (Dez. 2013 - Feb. 2014)

MCL-LCP Programming

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Foundations of Constraint Programming	1/1/0	Prof. Rudolph	KI	V	Donnerstag	3.	INF/E005	wöch.
Foundations of Logic Programming	2/1/0	Prof. Rudolph	KI	V U	Montag Montag	3. 4.	INF/E005 INF/E005	wöch. 2. Wo.
Tutorial Logic Programming Engineering	0/2/0	Dr. Nauber	ThI	U	Mittwoch	1.	INF/E005	wöch.

Wahlpflichtmodule

Von den 5 Wahlpflichtmodulen müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpflichtmodul müssen Lehrveranstaltungen im Umfang von mindestens 8 SWS belegt werden. Dabei darf jede Lehrveranstaltung für höchstens ein Modul ausgewählt werden.

MCL-CSE neering

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Design Patterns and Frameworks	2/2/0	Prof. Aßmann	SMT	V U	Dienstag Mittwoch	5. 3.	INF/E023 INF/E023	wöch. wöch.
Distributed Systems	2/2/0	Prof. Schill	SyA	V U	Donnerstag Dienstag	6. 2.	BAR/0106 INF/E023	wöch. wöch.
Mobile Communication and Mobile Computing	2/0/0	Prof. Schill	SyA	V	Donnerstag	4.	INF/E023	wöch.
Security and Cryptography I	2/2/0	Dr. Köpsell	SyA	V	Donnerstag	2., 3.	INF/E023	wöch.
Transactional Information Systems	2/2/0	Prof. Lehner	SyA	V U	Montag Mittwoch	4. 5.	INF/E023 AVO	wöch. wöch.

MCL-KR ion

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	U	Mittwoch	6.	INF/E005	wöch.
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	KI	V U	Mittwoch Montag	2. 2.	INF/E005 INF/E005	wöch. wöch.
SAT Solving	2/2/0	Prof. Hölldobler	KI	V U	Mittwoch Freitag	3. 2.	INF/E005 INF/E005	wöch. wöch.
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	KI	U	Freitag	3.	INF/E005	wöch.
Existential Rules	2/2/0	Prof. Rudolph	KI	V U	Freitag Freitag	4. 5.	INF/E005 INF/E005	wöch. wöch.

MCL-PCS unication Skills

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	U	Mittwoch	6.	INF/E005	wöch.
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI	U	Freitag	5.	AVO	wöch.
Lab Course Modeling and Automated Verification	0/2/0	Dr. Klüppelholz	ThI	U	Donnerstag	1.	INF/E005	1. Wo.
Seminar Selected Topics in Logic and Verification	0/2/0	Dr. Klüppelholz	ThI	U	Donnerstag	1.	INF/E005	1. Wo.
Academic Skills in Computer Science	2/2/0	Prof. Hölldobler, Prof. Aßmann	KI, SMT	V U	Mittwoch Donnerstag	4. 5.	INF/E005 INF/E005	wöch. wöch.
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	KI	U	Freitag	3.	INF/E005	wöch.

MCL-PI ce

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Description Logic	4/2/0	Dr. Penaloza	ThI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	U	Mittwoch	6.	INF/E005	wöch.
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI	U	Freitag	5.	AVO	wöch.
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	KI	V U	Mittwoch Montag	2. 2.	INF/E005 INF/E005	wöch. wöch.
SAT Solving	2/2/0	Prof. Hölldobler	KI	V U	Mittwoch Freitag	3. 2.	INF/E005 INF/E005	wöch. wöch.
Existential Rules	2/2/0	Prof. Rudolph	KI	V U	Freitag Freitag	4. 5.	INF/E005 INF/E005	wöch. wöch.

MCL-TCSL Science and Logic

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Description Logic	4/2/0	Dr. Penaloza	ThI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI	U	Freitag	5.	AVO	wöch.
Design and Analysis of Petri Nets	1/1/0	Dr. Nauber	ThI	V U	Dienstag Dienstag	2. 2.	INF/E005 INF/E005	2. Wo. 1. Wo.