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
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
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