About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Courses in Winter Term 2010/11
Module MCL-F Foundations (Basic)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Logic | 2/2/0 | Prof. Hölldobler | AI |
| Science of CL | 2/2/0 | Prof. Hölldobler | AI |
Module MCL-LCP Logic and Constraint Programming (Basic)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Foundations of Constraint Programming | 1/1/0 | NN | AI |
| Foundations of Logic Programming | 2/1/0 | NN | AI |
| LP Engineering | 0/2/0 | Dr. Nauber | ThCS |
Module MCL-AL Advanced Logics (Basic)
Person in charge: Prof. Christel Baier
This module is not covered by any courses in winter terms.
Module MCL-ILS Integrated Logic Systems (Basic)
Person in charge: Prof. Michael Schroeder
This module is not covered by any courses in winter terms.
Module MCL-KR Knowledge Representation (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Interactive Theorem Proving | 4/2/0 | Dr. Posegga | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Neural Symbolic Integration | 2/2/0 | Prof. Hölldobler | AI |
Module MCL-MV Modeling and Verification (Advanced)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Interactive Theorem Proving | 4/2/0 | Dr. Posegga | ThCS |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Lab Course Modeling and Automated Verification | 0/0/4 | Prof. Baier | ThCS |
| Selected Topics in Logic and Complexity | 0/2/0 | Prof. Baier, Dr. Größer | ThCS |
Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)
Person in charge: Prof. Franz Baader
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-NLPA Natural Languages Processing and Automata (Advanced)
Person in charge: Prof. Heiko Vogler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Machine Translation (of Natural Languages) | 4/2/0 | Prof. Vogler | ThCS |
| Machine Translation and Tree Automata | 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 |
|---|---|---|---|
| Interactive Theorem Proving | 4/2/0 | Dr. Posegga | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Neural Symbolic Integration | 2/2/0 | Prof. Hölldobler | AI |
| SAT-Solving | 2/2/0 | Prof. Hölldobler | AI |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-CSE Computer Science Engineering (Advanced)
Person in charge: head of the study course
Module MCL-PCS Presentation and Communication Skills (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| German | 0/2/0 | NN | |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Machine Translation and Tree Automata | 0/2/0 | Prof. Vogler | ThCS |
| Selected Topics in Logic and Complexity | 0/2/0 | Prof. Baier, Dr. Größer | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-P Project (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Project Group Computational Logic | 0/0/4 | NN, Voigt | AI |
| 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.
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
Last update: Fri, 9 Jul 2010 11:11:37