Lehrangebot der Fakultät Informatik für den
Internationalen Studiengang Computational
Logic
Wintersemester 2011/2012
Stand: 29.06.2011
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 |
N.N. |
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 |
| Fuzzy Description Logic |
2/1/0 |
Dr. Penaloza |
ThI |
| Interactive Theorem Proving |
4/2/0 |
Dr. Posegga |
ThI |
| Introduction to Automatic Structures |
2/1/0 |
Dr. Turhan |
ThI |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Hölldobler |
KI |
| Neural Symbolic Integration |
2/2/0 |
Prof. Hölldobler |
KI |
MCL-MV Modeling and Verification2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Interactive Theorem Proving |
4/2/0 |
Dr. Posegga |
ThI |
| Selected Topics in Logic and Complexity |
0/2/0 |
Prof. Baier |
ThI |
| Lab Course Modeling and Automated Verification |
0/0/4 |
Prof. Baier |
ThI |
MCL-NLPA Natural Language Processing and Automata2
MCL-TCSL Theoretical Computer Science and Logic2
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| Fuzzy Description Logic |
2/1/0 |
Dr. Penaloza |
ThI |
| Introduction to Automatic Structures |
2/1/0 |
Dr. Turhan |
ThI |
| Term Rewriting Systems |
4/2/0 |
Prof. Baader |
ThI |
| Seminar 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 |
| 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 |
2/2/0 |
Prof. Lehner |
SyA |
MCL-PCS Presentation and Communication Skills1
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
| German |
0/2/0 |
N.N. |
|
| Seminar Knowledge Representation and Reasoning |
0/2/0 |
Prof. Hölldobler |
KI |
| Seminar Selected Topics in Logic and Complexity |
0/2/0 |
Prof. Baier |
ThI |
| Seminar on Natural Language Processing | <
0/2/0 |
Prof. Vogler |
ThI |
| Seminar 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