Internationaler Master-Studiengang Computational Logic

Studienablaufplan Master Computational Logic

Pflichtmodule

MCL-AL Advanced Logics

Lehrveranstaltung	SWS	Dozent	Institut
Advanced Logic	4/2/0	Prof. Dr. Baier	ThI

MCL-ILS Integrated Logic Systems

Lehrveranstaltung	SWS	Dozent	Institut
Deduction Systems	1/1/0	Prof. Rudolph	KI
Semantic Search: Algorithms and Applications	2/2/0	Prof. Schroeder	BIOTEC

MCL-P Project

Lehrveranstaltung	SWS	Dozent	Institut
Project Group Computational Logic	0/0/4	Prof. Rudolph	KI
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Dr. 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

In diesem Modul werden keine Lehrveranstaltungen angeboten.

MCL-LCP

In diesem Modul werden keine Lehrveranstaltungen angeboten.

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 Computer Science Engineering

Lehrveranstaltung	SWS	Dozent	Institut
Component Based Software Engineering	2/2/0	Prof. Dr. Aßmann	SMT
Internet and Web Applications	2/2/0	Prof. Dr. Schill	SyA
Security and Cryptography II	2/2/0	Dr. Köpsell	SyA
Wireless Sensor Networks	2/2/0	Prof. Dr. Schill, Dr. Dargie	SyA
Foundations of Concurrent and Distributed Systems	4/0/0	Prof. Dr. Fetzer	SyA

MCL-KR Knowledge Representation and Artificial Intelligence

Lehrveranstaltung	SWS	Dozent	Institut
Fuzzy Description Logic	2/2/0	Prof. Dr. Baader, Dr. Distel	ThI
Knowledge Representation and Reasoning	0/2/0	Prof. Dr. Hölldobler	KI
Automata and Logic	4/2/0	Prof. Dr. Baader, Dr. Penaloza	ThI
Neural Symbolic Integration	2/2/0	Prof. Dr. Hölldobler	KI
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI

MCL-MV Modeling and Verification

In diesem Modul werden keine Lehrveranstaltungen angeboten.

MCL-NLPA Natural Language Processing and Automata

In diesem Modul werden keine Lehrveranstaltungen angeboten.

MCL-PCS Presentation and Communication Skills

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Dr. Hölldobler	KI
Lab Course Modeling and Quantitative System Analysis	0/0/4	Prof. Dr. Baier, Dr. Klüppelholz	ThI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Seminar Model Checking	0/2/0	Prof. Dr. Baier, Dr. Klüppelholz	ThI

MCL-PI Principles of Inference

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Dr. Hölldobler	KI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Automata and Logic	4/2/0	Prof. Dr. Baader, Dr. Penaloza	ThI
Neural Symbolic Integration	2/2/0	Prof. Dr. Hölldobler	KI
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI

MCL-TCSL Theoretical Computer Science and Logic

Lehrveranstaltung	SWS	Dozent	Institut
Fuzzy Description Logic	2/2/0	Prof. Dr. Baader, Dr. Distel	ThI
Seminar Theoretical Computer Science	0/2/0	Dr. Turhan	ThI
Automata and Logic	4/2/0	Prof. Dr. Baader, Dr. Penaloza	ThI