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

Sommersemester 2013

Stand: 11.10.2012

MCL-F Foundations1

Zu diesem Modul finden im Sommersemester keine Lehrveranstaltungen statt.

MCL-LCP Logic and Constraint Programming1

Zu diesem Modul finden im Sommersemester keine Lehrveranstaltungen statt.

MCL-AL Advanced Logic1

Lehrveranstaltung SWS Dozent Institut
Advanced Logic 4/2/0 Prof. Baier ThI
Advanced topics in automatic structures 0/2/0 Prof. Baader ThI

MCL-ILS Integrated Logic Systems1

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

MCL-KR Knowledge Representation2

Lehrveranstaltung SWS Dozent Institut
Automata and Logic 4/2/0 Prof. Baader ThI
Formal Concept Analysis and Logic 2/1/0 Dr. Distel ThI
Introduction to Complexity Theory 2/1/0 Dr. Penaloza ThI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Selected Topics in Proof Theory 0/2/0 Prof. Bruscoli KI
Structured Proof Theory and Abstract Logic Programming 2/2/0 Prof. Bruscoli KI

MCL-MV Modelling and Verification2

Lehrveranstaltung SWS Dozent Institut
Introduction to Complexity Theory 2/1/0 Dr. Penaloza ThI
Lab Course Modelling and Automated Verification 0/0/4 Prof. Baier ThI

MCL-NLPA Natural Language Processing and Automata2

Lehrveranstaltung SWS Dozent Institut
Advanced Topics on Weighted Tree Automata 4/2/0 Prof. Vogler ThI
Seminar on Natural Language Processing 0/2/0 Prof. Vogler ThI

MCL-TCSL Theoretical Computer Science and Logic2

Lehrveranstaltung SWS Dozent Institut
Advanced topics in automatic structures 0/2/0 Prof. Baader ThI
Automata and Logic 4/2/0 Prof. Baader ThI
Formal Concept Analysis and Logic 2/1/0 Dr. Distel ThI
Introduction to Complexity Theory 2/1/0 Dr. Penaloza ThI
Selected Topics in Proof Theory 0/2/0 Prof. Bruscoli KI
Structured Proof Theory and Abstract Logic Programming 2/2/0 Prof. Bruscoli KI

MCL-PI Principles of Inference2

Lehrveranstaltung SWS Dozent Institut
Automata and Logic 4/2/0 Prof. Baader ThI
Advanced Topics in Automatic Structures 0/2/0 Prof. Baader ThI
Kownledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Introduction to Complexity Theory 2/1/0 Dr. Penaloza ThI
Selected Topics in Proof Theory 0/2/0 Prof. Bruscoli KI
Structured Proof Theory and Abstract Logic Programming 2/2/0 Prof. Bruscoli KI

MCL-CSE Computational Software Engineering2

Lehrveranstaltung SWS Dozent Institut
Component-based Software Engineering 2/2/0 Prof. Aßmann SMT
Distributed Operating Systems 2/1/0 Prof. Härtig SyA

MCL-PCS Presentation and Communication Skills1

Lehrveranstaltung SWS Dozent Institut
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Seminar on Natural Language Processing 0/2/0 Prof. Vogler ThI
Advanced Topics in Automatic Structures 0/2/0 Prof. Baader ThI
Selected Topics in Proof Theory 0/2/0 Prof. Bruscoli KI

MCL-P Project1

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

Hinweise:
Von den 5 Wahlpflichtmodulen müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpflichtmodul 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