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

Wintersemester 2010/2011
Stand: 23.07.2010

MCL-F Foundations1

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

MCL-LCP Logic and Constraint Programming1

Lehrveranstaltung SWS Dozent Institut
Foundation of Logic Programming 2/1/0 N.N. KI
Foundation of Constraint Programming 1/1/0 N.N. KI
Logic Progamming Enigeering 0/2/0 Dr. Nauber ThI

MCL-AL Advanced Logic1

Zu diesem Modul finden im Wintersemester keine Lehrveranstaltungen statt.

MCL-ILS Integrated Logic Systems1

Zu diesem Modul finden im Wintersemester keine Lehrveranstaltungen statt.

MCL-KR Knowledge Representation2

Lehrveranstaltung SWS Dozent Institut
Interactive Theorem Proving 4/2/0 Dr. Posegga ThI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Neural Symbolic Integration 2/2/0 Prof. Hölldobler KI
Projection Computation in Knowledge Representation 2/2/0 Dr. Wernhard KI

MCL-MV Modeling and Verification2

Lehrveranstaltung SWS Dozent Institut
Model Checking 4/2/0 Prof. Baier ThI
Interactive Theorem Proving 4/2/0 Dr. Posegga ThI
Selected Topics in Logic and Complexity 0/2/0 Prof. Baier
Dr. Größer
ThI
Lab Course Modeling and Automated Verification 0/0/4 Prof. Baier ThI

MCL-NLPA Natural Language Processing and Automata2

Lehrveranstaltung SWS Dozent Institut
Weighted Tree Automata 2/2/0 Prof. Vogler ThI

MCL-TCSL Theoretical Computer Science and Logic2

Lehrveranstaltung SWS Dozent Institut
Model Checking 4/2/0 Prof. Baier ThI
Theoretical Computer Science 0/2/0 Prof. Baader ThI

MCL-PI Principles of Inference2

Lehrveranstaltung SWS Dozent Institut
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Interactive Theorem Proving 4/2/0 Dr. Posegga ThI
Model Checking 4/2/0 Prof. Baier ThI
Neural Symbolic Integration 2/2/0 Prof. Hölldobler KI
SAT-Solving 2/2/0 Prof. Hölldobler KI
Theoretical Computer Science 0/2/0 Prof. Baader ThI

MCL-CSE Computer Science Engineering2

Lehrveranstaltung SWS Dozent Institut
Design Patterns and Frameworks 2/2/0 Prof. Aßmann SMT
Distributed Systems 2/0/0 Prof. Schill SyA
Mobile Communication/Computation 2/0/0 Prof. Schill SyA
Security & Cryptography I 2/2/0 Dr. Köpsell SyA
Systems Engineering I 2/2/0 Prof. Fetzer SyA
Systems Engineering II 2/2/0 Prof. Fetzer SyA
Transactional Information Systems 3/1/0 Prof. Lehner SyA

MCL-PCS Presentation and Communication Skills1

Lehrveranstaltung SWS Dozent Institut
German 0/2/0 N.N.
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler KI
Selected Topics in Logic and Complexity 0/2/0 Prof. Baier
Dr. Größer
ThI
Theoretical Computer Science 0/2/0 Prof. Baader ThI

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. KI
Project Group Machine Translation and Tree Automata 0/0/4 Prof. Vogler ThI

Hinweise:
Von den 5 Wahlpfichtmodulen 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