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
Project Group Computational Logic	0/0/4	Prof. Rudolph	KI
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Hölldobler	KI
Project Group Model Checking	0/0/4	Dr. Klüppelholz	ThI
Project Group Semantic Search	0/0/4	Prof. Schroeder	BIOTEC
Project Group Theoretical Computer Science	0/0/4	Dr. Penaloza	ThI

MCL-F

Lehrveranstaltung	SWS	Dozent	Institut
Logic	2/2/0	Prof. Hölldobler	KI
Science of Computational Logic	2/2/0	Prof. Hölldobler	KI

MCL-LCP Programming

Lehrveranstaltung	SWS	Dozent	Institut
Foundations of Constraint Programming	1/1/0	Prof. Rudolph	KI
Foundations of Logic Programming	2/1/0	Prof. Rudolph	KI
Tutorial Logic Programming Engineering	0/2/0	Dr. Nauber	ThI

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
Design Patterns and Frameworks	2/2/0	Prof. Aßmann	SMT
Distributed Systems	2/2/0	Prof. Schill	SyA
Mobile Communication and Mobile Computing	2/0/0	Prof. Schill	SyA
Security and Cryptography I	2/2/0	Dr. Köpsell	SyA
Transactional Information Systems	2/2/0	Prof. Lehner	SyA

MCL-KR ion

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	KI
SAT Solving	2/2/0	Prof. Hölldobler	KI
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	KI
Existential Rules	2/2/0	Prof. Rudolph	KI

MCL-PCS unication Skills

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Lab Course Modeling and Automated Verification	0/2/0	Dr. Klüppelholz	ThI
Seminar Selected Topics in Logic and Verification	0/2/0	Dr. Klüppelholz	ThI
Academic Skills in Computer Science	2/2/0	Prof. Hölldobler, Prof. Aßmann	KI, SMT
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	KI

MCL-PI ce

Lehrveranstaltung	SWS	Dozent	Institut
Description Logic	4/2/0	Dr. Penaloza	ThI
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	KI
SAT Solving	2/2/0	Prof. Hölldobler	KI
Existential Rules	2/2/0	Prof. Rudolph	KI

MCL-TCSL Science and Logic

Lehrveranstaltung	SWS	Dozent	Institut
Description Logic	4/2/0	Dr. Penaloza	ThI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Design and Analysis of Petri Nets	1/1/0	Dr. Nauber	ThI