| Course | Module | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|---|
| Formal Systems | INF-B-270 , INF-B-275 , INF-LE-EUI , IST-05-PF-HS | 4/2/0 | german | Prof. Baader | Theoretische Informatik |
V V Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü |
Donnerstag Montag Dienstag Dienstag Donnerstag Donnerstag Freitag Freitag Freitag Freitag Freitag Mittwoch Mittwoch Mittwoch Montag Montag Montag Montag |
4. 3. 1. 1. 1. 5. 1. 2. 3. 4. 6. 1. 1. 6. 1. 2. 2. 6. |
HSZ/0003/H BAR/SCHÖ/E APB/E009/U APB/E007/U APB/E007/U APB/E008/U APB/E009/U APB/E006/U SCH/A215/H APB/E009/U APB/E010/U APB/E010/U SE1/0101/U APB/E007/U APB/E010/U APB/E009/U APB/E010/U APB/E009/U |
wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich |
| Forschungsprojekt Theoretische Informatik | INF-PM-FPG | 0/0/8 | german | Prof. Baader, Dr. Koopmann | Theoretische Informatik | TBA | TBA | |||
| Fuzzy Description Logic | CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-KR , MCL-TCSL | 2/2/0 | english | Dr.-Ing. Borgwardt | Theoretische Informatik |
V Ü |
Mittwoch Freitag |
2. 4. |
APB/E005/U APB/E005/U |
wöchentlich wöchentlich |
| Komplexpraktikum Theoretische Informatik | INF-MA-PR | 0/0/4 | german | Prof. Baader, Dr.-Ing. Borgwardt | Theoretische Informatik | TBA | TBA | |||
| Komplexpraktikum Theoretische Informatik | INF-MA-PR | 0/0/8 | german | Prof. Baader, Dr.-Ing. Borgwardt | Theoretische Informatik | TBA | TBA | |||
| Modeling Project Theoretical Computer Science | CMS-PRO , CMS-PROJ | 0/0/12 | english | Prof. Baader, Dr. Turhan | Theoretische Informatik | TBA | TBA | |||
| Project Group Theoretical Computer Science | MCL-P | 0/0/4 | english | Prof. Baader, Dr.-Ing. Borgwardt | Theoretische Informatik | TBA | TBA | |||
| Proseminar Anwendungen der Logik in der Informatik | INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 | 0/2/0 | german | Prof. Baader, Dr. Koopmann | Theoretische Informatik | TBA | TBA | |||
| Proseminar Perlen der Theoretischen Informatik | INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 | 0/2/0 | german | Prof. Baader, Dr. Turhan | Theoretische Informatik | TBA | TBA | |||
| Seminar Theoretical Computer Science | CMS-LM-ADV , CMS-LM-AI , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS | 0/2/0 | english | Prof. Baader, Dr. Turhan | Theoretische Informatik | Ü | Montag | 5. | APB/E009/U | wöchentlich |
| Unification in Modal and Description Logics | CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-KR , MCL-PI , MCL-TCSL | 2/2/0 | english | Prof. Baader, Dr. Fernández Gil | Theoretische Informatik |
Ü Ü Ü |
TBA Dienstag Mittwoch |
6. 5. |
APB/E005/U APB/E005/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Course | Module | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|---|
| Algorithms and Data Structures | INF-B-210 , INF-D-210 , INF-LE-EUI , INF-LE-GEO , INF-LE-MA , INF-LE-PHY , INF-SEGY-INF-02 , INF-SEMS-INF-02 , IST-05-PF-GS , MATH-BA-INFA , MATH-MA-INFADS , PHY-BA-NPW-INF | 2/2/0 | german | Prof. Vogler | Theoretische Informatik |
V Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü Ü |
Freitag Dienstag Dienstag Dienstag Donnerstag Donnerstag Donnerstag Freitag Freitag Freitag Mittwoch Mittwoch Mittwoch Montag Montag Montag |
2. 1. 2. 4. 1. 1. 6. 1. 3. 4. 1. 5. 7. 1. 4. 6. |
HSZ/AUDI/H APB/E023/U APB/E009/U APB/E023/U VMB/0302/U GÖR/0229/U APB/E006/U APB/E023/U POT/0351/U BAR/0218/U APB/E023/U APB/E010/U WIL/A221/U APB/E009/U APB/E009/U APB/E008/U |
wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich wöchentlich |
| Doktorandenseminar Grundlagen der Programmierung | FAK-INF-FF | 0/2/0 | german | Prof. Vogler | Theoretische Informatik | TBA | TBA | |||
| Forschungsprojekt Verarbeitung natürlicher Sprachen | INF-PM-FPG | 8P/PB | german | Prof. Vogler | Theoretische Informatik | TBA | TBA | |||
| Master-Praktikum Verarbeitung natürlicher Sprachen | INF-MA-PR | 0/0/8 | german | Prof. Vogler | Theoretische Informatik | TBA | TBA | |||
| Praktikum Verarbeitung natürlicher Sprachen | INF-04-KP , INF-B-510 , INF-B-520 , INF-MA-PR , INF-VERT2 | 0/0/4 | german | Prof. Vogler | Theoretische Informatik | TBA | TBA | |||
| Theory of Weighted Tree Automata | INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 | 4/2/0 | german | Prof. Vogler | Theoretische Informatik |
V V Ü |
Donnerstag Montag Donnerstag |
2. 3. 3. |
APB/E006/U APB/E006/U APB/E006/U |
wöchentlich wöchentlich wöchentlich |
| Course | Module | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|---|
| Complexity Theory | CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL | 4/2/0 | english | Prof. Krötzsch | Theoretische Informatik |
V V Ü |
Dienstag Montag Mittwoch |
2. 2. 3. |
APB/E005/U APB/E008/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Forschungsprojekt Wissensbasierte Systeme | INF-PM-FPA , INF-PM-FPG | 0/0/8 | german | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Research Project Knowledge-Based Systems (CMS) | CMS-PRO , CMS-PROJ | 0/0/12 | english | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Knowledge Graphs | CMS-COR-KM , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-E-3 , INF-PM-ANW , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-KR , MCL-TCSL | 2/2/0 | english | Prof. Krötzsch | Theoretische Informatik |
V Ü |
Dienstag Dienstag |
3. 5. |
APB/E005/U APB/E005/U |
wöchentlich wöchentlich |
| Komplexpraktikum Wissensbasierte Systeme (Bachelor Informatik) | INF-B-510 , INF-B-520 | 0/0/4 | german | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Komplexpraktikum Wissensbasierte Systeme (Master Informatik) | INF-MA-PR | 0/0/8 | german | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Research Project Knowledge-Based Systems (MCL) | MCL-P | 0/0/4 | english | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Team Project Knowledge-Based Systems (CMS) | CMS-LM-TEA | 0/0/8 | english | Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke | Theoretische Informatik | TBA | TBA |
Day/Room
Weeks
semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..
master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.
module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:
and the following pseudo modules for older non-modularized study programs
Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::