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