Lehrangebot der Fakultät Informatik für den Internationalen Studiengang Computational Logic

Wintersemester 2009/2010
Stand: 08.09.2009

MCL01 Foundations1

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

MCL02 Logic and Constraint Programming1

Lehrveranstaltung SWS Dozent Institut
Foundation of Logic Programming 2/1/- Prof. Thielscher KI
Foundation of Constraint Programming 1/1/1 Prof. Thielscher KI
Logic Progamming Enigeering -/-/2 Dr. Nauber ThI

MCL03 Advanced Logic1

Zu diesem Modul finden im Wintersemester keine Lehrveranstaltungen statt.

MCL04 Integrated Logic Systems1

Zu diesem Modul finden im Wintersemester keine Lehrveranstaltungen statt.

MCL05 Knowledge Representation and Artificial Intelligence2

Lehrveranstaltung SWS Dozent Institut
Advanced Topics in Description Logics 2/-/- Dr. Turhan ThI
General Game Playing 1/1/2 Prof. Thielscher KI
Knowledge Representation and Reasoning -/2/- Prof. Hölldobler KI
Interactive Theorem Proving 4/1/1 Dr. Posegga ThI

MCL06 Specification and Verification2

Lehrveranstaltung SWS Dozent Institut
Model Checking 4/2/- Prof. Baier ThI
Interactive Theorem Proving 4/1/1 Dr. Posegga ThI
Selected Topics in Logic and Complexity -/2/- Prof. Baier
Dr. Größer		 ThI

MCL07 Syntax Directed Semantics2

Lehrveranstaltung SWS Dozent Institut
Natural Language Processing -/2/- Prof. Vogler
Dipl.-Inf. Büchse
M.Sc. Stüber		 ThI
Automata and Logic 4/2/- Prof. Baader ThI
Model Checking 4/2/- Prof. Baier ThI

MCL08 Theoretical Computer Science and Logic2

Lehrveranstaltung SWS Dozent Institut
Automata and Logic 4/2/- Prof. Baader ThI
Advanced Topics in Description Logics 2/-/- Dr. Turhan ThI
Model Checking 4/2/- Prof. Baier ThI
Selected Topics in Logic and Complexity -/2/- Prof. Baier
Dr. Größer		 ThI
Theoretical Computer Science -/2/- Prof. Baader ThI

MCL09 Inference Techniques2

Lehrveranstaltung SWS Dozent Institut
Automata and Logic 4/2/- Prof. Baader ThI
Kownledge Representation and Reasoning -/2/- Prof. Hölldobler KI
Interactive Theorem Proving 4/1/1 Dr. Posegga ThI
Model Checking 4/2/- Prof. Baier ThI
Theoretical Computer Science -/2/- Prof. Baader ThI

MCL10 Project1

Lehrveranstaltung SWS Dozent Institut
Project Group Theoretical Computer Science -/-/4 Prof. Baader ThI
Project Group Model Checking -/-/4 Prof. Baier ThI
Project Group Knowledge Representation and Reasoning -/-/4 Prof. Hölldobler KI
Project Group Semantic Search -/-/4 Prof. Schroeder KI
Project Group Computational Logic -/-/4 Prof. Thielscher KI
Project Group Machine Translation and Tree Automata -/-/4 Prof. Vogler ThI

Hinweise:
Von den 5 Wahlpfichtmodulen MCL05 - MCL09 müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpfichtmodul müssen Lehrveranstaltungen im Umfang von mindestens 8 SWS ausgewählt werden. Dabei darf jede Lehrveranstaltung für höchstens ein Modul ausgewählt werden.
1 Pflichtmodul
2 Wahlpflichtmodul