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

Sommersemester 2012
Stand: 28.11.2011

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

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
Description Logic 4/2/0 Dr. Turhan ThI
Category Theory for Computer Science 2/2/0 Dr. Posegga ThI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Introduction to Many-Valued Logics 2/0/0 Dr. Fronhöfer 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
Fuzzy Logic 2/1/0 Dr. Penaloza ThI
Category Theory for Computer Science 2/2/0 Dr. Posegga ThI
Lab Course Modelling and Automated Verification 0/0/4 Prof. Baier ThI
Selected Topics on Model Checking 0/2/0 Prof. Baier ThI

MCL-NLPA Natural Language Processing and Automata2

Lehrveranstaltung SWS Dozent Institut
Advanced Topics on Weighted Tree Automata 2/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
Description Logic 4/2/0 Dr. Turhan ThI
Fuzzy Logic 2/1/0 Dr. Penaloza ThI
Theoretical Computer Science 0/2/0 Dr. Sturm
Dipl.-Math. Distel
ThI
Introduction to Many-Valued Logics 2/0/0 Dr. Fronhöfer 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-PI Principles of Inference2

Lehrveranstaltung SWS Dozent Institut
Description Logic 4/2/0 Dr. Turhan ThI
Theoretical Computer Science 0/2/0 Dr. Sturm
Dipl.-Math. Distel
ThI
Category Theory for Computer Science 2/2/0 Dr. Posegga ThI
Kownledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Fuzzy Logic 2/1/0 Dr. Penaloza ThI
Introduction to Many-Valued Logics 2/0/0 Dr. Fronhöfer 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-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
Theoretical Computer Science 0/2/0 Dr. Sturm
Dipl.-Math. Distel
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 Dr. Sturm 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 and Tree Automata 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