Lehrangebot der Fakultät Informatik
für den Internationalen Studiengang Computational Logic
Sommersemester 2010
Stand: 09.03.2010
MCL01 Foundations1
Zu diesem Modul finden im Sommersemester keine Lehrveranstaltungen statt.
MCL02 Logic and Constraint Programming1
Zu diesem Modul finden im Sommersemester keine Lehrveranstaltungen statt.
MCL03 Advanced Logic1
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Advanced Logic |
4/2/- |
Prof. Baier |
ThI |
MCL04 Integrated Logic Systems1
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Deduction Systems |
1/1/- |
Prof. Thielscher |
KI |
| Semantic Search: Algorithms and Applications |
2/2/- |
Prof. Schroeder |
KI |
MCL05 Knowledge Representation and Artificial Intelligence2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Description Logic |
4/2/- |
Prof. Baader |
ThI |
| Semantics of Dependent Type Theory |
2/2/- |
Dr. Posegga |
ThI |
| Foundations of Agent Programming |
3/3/- |
Prof. Thielscher |
KI |
| Intelligent Agents |
-/2/- |
Prof. Thielscher |
KI |
| Knowledge Representation and Reasoning |
-/2/- |
Prof. Hölldobler |
KI |
MCL06 Specification and Verification2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Selected Topics in Automata and Logic |
2/-/- |
Dr. Penaloza |
ThI |
| Model Checking II |
2/-/- |
Dr. Größer |
ThI |
| Semantics of Dependent Type Theory |
2/2/- |
Dr. Posegga |
ThI |
| Symbolic and Compositional Verification |
-/2/- |
Prof. Baier
Dr. Größer |
ThI |
MCL07 Syntax Directed Semantics2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Tree Automata |
4/2/- |
Prof. Vogler |
ThI |
| Natural Language Processing |
-/2/- |
Prof. Vogler |
ThI |
| Model Checking II |
2/-/- |
Dr. Größer |
ThI |
| Description Logic |
4/2/- |
Prof. Baader |
ThI |
MCL08 Theoretical Computer Science and Logic2
MCL09 Inference Techniques2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Description Logic |
4/2/- |
Prof. Baader |
ThI |
| Theoretical Computer Science |
-/2/- |
Prof. Baader |
ThI |
| Semantics of Dependent Type Theory |
2/2/- |
Dr. Posegga |
ThI |
| Kownledge Representation and Reasoning |
-/2/- |
Prof. Hölldobler |
KI |
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 Wahlpflichtmodulen MCL05 - MCL09 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