Studienablaufplan für Computational Logic

Pflichtmodule

nach oben

MCL-F Foundations

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Foundations Repetition	0/2/0	english	Prof. Hölldobler	KI	U	ZVZ		AVO
Logic	2/2/0	english	Prof. Hölldobler	KI	V V U U	Montag Donnerstag Dienstag Freitag	4. 4. 2. 6.	APB/E005 APB/E005 APB/E005 APB/E005	1. Wo. 1. Wo. 1. Wo. 1. Wo.
Science of Computational Logic	2/2/0	english	Prof. Hölldobler	KI	V V U U	Montag Donnerstag Dienstag Freitag	4. 4. 2. 6.	APB/E005 APB/E005 APB/E005 APB/E005	2. Wo. 2. Wo. 2. Wo. 2. Wo.

MCL-LCP Logic and Constraint Programming

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Foundations of Constraint Programming	1/1/0	english	Prof. Rudolph	KI	V U	Montag Montag	6. 6.	APB/E005 APB/E005	1. Wo. 2. Wo.
Foundations of Logic Programming	2/1/0	english	Prof. Rudolph	KI	V U	Montag Freitag	5. 5.	APB/E005 APB/E005	wöch. 1. Wo.
Tutorial Logic Programming Engineering	0/2/0	english	Prof. Baier, Dr. Klüppelholz	THI	U	Dienstag	4.	APB/E067	wöch.

MCL-P Project

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Project Group Computational Logic	0/0/4	english	Prof. Rudolph	KI	P	ZVZ		AVO
Project Group Knowledge Representation and Reasoning	0/0/4	english	Prof. Hölldobler	KI	P	ZVZ		AVO
Project Group Model Checking	0/0/4	english	Prof. Baier	THI	P	ZVZ		AVO
Project Group Theoretical Computer Science	0/0/4	english	Prof. Baader, Dr. Turhan	THI	P	ZVZ		AVO

MCL-PCS Presentation and Communication Skills

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI	U	Montag	6.	AVO	wöch.
Lab Course Modeling and Automated Verification	0/2/0	english	Prof. Baier	THI	U	ZVZ		AVO
Seminar Further Topics in Description Logics	0/2/0	english	Prof. Baader, Dr. Turhan	THI	U	ZVZ		AVO
Seminar Practical Planning for Angry Birds	0/2/0	english	Prof. Rudolph	KI	U	Freitag	5.	AVO	wöch.
Seminar Selected Topics in Logic and Verification	0/2/0	english	Prof. Baier	THI	U	Donnerstag	1.	APB/E005	wöch.

Wahlpflichtmodule

nach oben

MCL-CSE Computer Science Engineering

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Design Patterns and Frameworks	2/2/0	english	Prof. Aßmann, Dr. Götz	SMT	V U	Dienstag Mittwoch	5. 5.	APB/E023 GER/0038	wöch. wöch.
Distributed Systems	2/2/0	english	Dr.-Ing. Hara, Dr. Springer, Dr. Braun	SYA	V U	Donnerstag Dienstag	5. 2.	APB/E023 APB/E023	wöch. wöch.
Mobile Communication and Mobile Computing	2/0/0	english	Dr. Springer, Dr. Dargie	SYA	V	Donnerstag	4.	APB/E023	wöch.
Security and Cryptography I	2/2/0	english	Prof. Strufe, Dr. Köpsell	SYA	V	Donnerstag	2., 3.	APB/E023	wöch.
Transactional Information Systems	2/2/0	english	Prof. Lehner	SYA	V U	Montag Dienstag	4. 4.	APB/E010 APB/E001	wöch. wöch.

MCL-KR Knowledge Representation

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Complexity Theory	4/2/0	english	Prof. Krötzsch	THI	V V U	Dienstag Mittwoch Dienstag	3. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Human Reasoning and Computational Logic	4/2/0	english	Prof. Hölldobler	KI	V V U	Mittwoch Donnerstag Mittwoch	3. 5. 4.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Introduction to Formal Concept Analysis	2/2/0	english	Prof. Rudolph	KI	V U	Montag Montag	3. 2.	APB/E005 APB/E005	wöch. wöch.
Introduction to Non-monotonic Reasoning	2/2/0	english	Dr. Turhan	THI	V V	Mittwoch Freitag	2. 4.	APB/E005 APB/E005	wöch. wöch.
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI	U	Montag	6.	AVO	wöch.
Seminar Practical Planning for Angry Birds	0/2/0	english	Prof. Rudolph	KI	U	Freitag	5.	AVO	wöch.

MCL-PI Principles of Inference

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Complexity Theory	4/2/0	english	Prof. Krötzsch	THI	V V U	Dienstag Mittwoch Dienstag	3. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Description Logic	4/2/0	english	Prof. Baader	THI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Human Reasoning and Computational Logic	4/2/0	english	Prof. Hölldobler	KI	V V U	Mittwoch Donnerstag Mittwoch	3. 5. 4.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Introduction to Formal Concept Analysis	2/2/0	english	Prof. Rudolph	KI	V U	Montag Montag	3. 2.	APB/E005 APB/E005	wöch. wöch.
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI	U	Montag	6.	AVO	wöch.
Seminar Further Topics in Description Logics	0/2/0	english	Prof. Baader, Dr. Turhan	THI	U	ZVZ		AVO
Seminar Practical Planning for Angry Birds	0/2/0	english	Prof. Rudolph	KI	U	Freitag	5.	AVO	wöch.

MCL-TCSL Theoretical Computer Science and Logic

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Art	Tag	DS	Raum	Woche
Complexity Theory	4/2/0	english	Prof. Krötzsch	THI	V V U	Dienstag Mittwoch Dienstag	3. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Description Logic	4/2/0	english	Prof. Baader	THI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Introduction to Non-monotonic Reasoning	2/2/0	english	Dr. Turhan	THI	V V	Mittwoch Freitag	2. 4.	APB/E005 APB/E005	wöch. wöch.
Model Checking	4/4/0	english	Prof. Baier, Dr. Klüppelholz	THI	U U	Donnerstag Freitag	2., 3. 2., 3.	APB/E005 APB/E005	wöch. wöch.
Seminar Further Topics in Description Logics	0/2/0	english	Prof. Baader, Dr. Turhan	THI	U	ZVZ		AVO

Anmerkungen

nach oben

Tag, Raum

• ZVZ ... zu vereinbarter Zeit
• AVO ... an vereinbartem Ort

Woche

• wöch. = wöchentlich
• 1. Woche ... ungerade Kalenderwoche
• 2. Woche ... gerade Kalenderwoche

Semester im Sinne der Prüfungs- und Studienordnung.

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

• MCL-* ... Master Computational Logic
• DSE-10* ... Master Distributed Systems Engineering (PO 2010)
• DSE-14* ... Master Distributed Systems Engineering (PO 2014)
• INF-LA* ... Bachelor/Master Lehramt
• INF-SE* ... Staatsexamen Lehramt

und folgende "Module" für ältere Studiengänge und Sonstiges

• INF-04-* ... Diplom Informatik, Studienordnung 2004
• MINF-04-* ... Diplom Medieninformatik, Studienordnung 2004
• IST-05-* ... Diplom Informationssystemtechnik, Studienordnung 2005
• INF-LE-* ... Lehrexport an andere Fakultäten
• FAK-INF-FF ... Fakultative Fächer

Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

• Seminararbeit und Präsentation
• P(m) ... mündliche Prüfung
• P(s) ... schriftliche Prüfung
• P(PP) ... Praktikumsprotokoll
• P(sA) ... schriftliche Ausarbeitung/Seminararbeit
• P(PA) ... Projektarbeit
• P(PE) ... bewertbares Ergebnis des Praktikums