About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Courses in Summer Term 2011
Module MCL-F Foundations (Basic)
Person in charge: Prof. Steffen Hölldobler
This module is not covered by any courses in summer terms.
Module MCL-LCP Logic and Constraint Programming (Basic)
Person in charge: Dr. Paola Bruscoli
This module is not covered by any courses in summer terms.
Module MCL-AL Advanced Logic (Basic)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Logics | 4/2/0 | Prof. Baier | ThCS |
Module MCL-B-ILS Integrated Logic Systems (Basic)
Person in charge: Prof. Michael Schroeder
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Deduction Systems | 1/1/0 | Dr. Bruscoli | AI |
| Semantic Search: Algorithms and Applications | 2/2/0 | Prof. Schroeder | AI |
Module MCL-KR Knowledge Representation (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Category Theory for Computer Science | 2/2/0 | Dr. Posegga | ThCS |
| Description Logic | 4/2/0 | Dr. Turhan | ThCS |
| Introduction to Many-Valued Logics | 2/0/0 | Dr. Fronhöfer | AI |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
Module MCL-MV Modeling and Verification (Advanced)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Category Theory for Computer Science | 2/2/0 | Dr. Posegga | ThCS |
| Fuzzy Logic | 2/1/0 | Dr. Penaloza | ThCS |
| Lab Course Modelling and Automated Verification | 0/0/4 | Prof. Baier | ThCS |
| Selected Topics on Model Checking | 0/2/0 | Prof. Baier | ThCS |
Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)
Person in charge: Prof. Franz Baader
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Description Logic | 4/2/0 | Dr. Turhan | ThCS |
| Fuzzy Logic | 2/1/0 | Dr. Penaloza | ThCS |
| Introduction to Many-Valued Logics | 2/0/0 | Dr. Fronhöfer | AI |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
| Theoretical Computer Science | 0/2/0 | Dr. Penaloza, Mr. Distel | ThCS |
Module MCL-NLPA Natural Language Processing and Automata (Advanced)
Person in charge: Prof. Heiko Vogler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Weighted Tree Automata | 2/2/0 | Prof. Vogler | ThCS |
| Natural Language Processing | 0/2/0 | Prof. Vogler | ThCS |
Module MCL-PI Principles of Inference (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Category Theory for Computer Science | 2/2/0 | Dr. Posegga | ThCS |
| Description Logic | 4/2/0 | Dr. Turhan | ThCS |
| Fuzzy Logic | 2/1/0 | Dr. Penaloza | ThCS |
| Introduction to Many-Valued Logics | 2/0/0 | Dr. Fronhöfer | AI |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
| Theoretical Computer Science | 0/2/0 | Dr. Penaloza, Mr. Distel | ThCS |
Module MCL-CSE Computer Science Engineering (Advanced)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Component-based Software Engineering | 2/2/0 | Prof. Assmann | SMT |
| Distributed Operating Systems | 2/1/0 | Prof. Härtig | SyA |
Module MCL-PCS Presentation and Communication Skills (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Natural Language Processing | 0/2/0 | Prof. Vogler | ThCS |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Theoretical Computer Science | 0/2/0 | Dr. Penaloza, Mr. Distel | ThCS |
Module MCL-P Project (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Project Group Knowledge Representation and Reasoning | 0/0/4 | Prof. Hölldobler | AI |
| Project Group Machine Translation and Automata Theory | 0/0/4 | Prof. Vogler | ThCS |
| Project Group Model Checking | 0/0/4 | Prof. Baier | ThCS |
| Project Group Semantic Search | 0/0/4 | Prof. Schroeder | AI |
| Project Group Theoretical Computer Science | 0/0/4 | Prof. Baader | ThCS |
Here you can find the description of the modules as well as the timetable of the courses.
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS)
Last update: Thu, 5 Apr 2012 15:29:29