| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Academic Skills in Software Engineering | 2/2/0 | english | Prof. Aßmann | Software- und Multimediatechnik |
V Ü |
Montag Dienstag |
4. 5. |
APB/E006/U BAR/I86C/U |
wöchentlich wöchentlich |
| Component-based Software Engineering | 2/2/0 | english | Dr. Götz | Software- und Multimediatechnik | TBA | TBA | |||
| Digitization and Data Analytics: Architectures, Methods, and Consequences | 2/2/0 | english | Prof. Nagel | Technische Informatik |
V Ü Ü |
Mittwoch Donnerstag Donnerstag |
2. 2. 3. |
GER/0038/H APB/E007/U APB/E067/P |
wöchentlich wöchentlich wöchentlich |
| Future Proof Software Systems | 2/2/0 | german | Prof. Aßmann | Software- und Multimediatechnik |
V Ü |
Mittwoch Dienstag |
6. 6. |
APB/E001/U APB/E001/U |
wöchentlich wöchentlich |
| Wireless Sensor Networks | 2/2/0 | english | Prof. Wählisch, Dr.-Ing. Dargie | Systemarchitektur |
V Ü |
Dienstag Dienstag |
3. 4. |
APB/E008/U APB/E008/U |
wöchentlich wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Project Group Computational Logic | 0/0/4 | english | Prof. Rudolph | Künstliche Intelligenz | TBA | TBA | |||
| Project Group Knowledge-Based Systems (MCL) | 0/0/4 | english | Prof. Krötzsch, Dr. Mennicke | Theoretische Informatik | TBA | TBA | |||
| Project Group Theoretical Computer Science | 0/0/4 | english | Prof. Baader, Dr.-Ing. Borgwardt | Theoretische Informatik | TBA | TBA |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Lab Course Modeling and Automated Verification | 0/2/0 | english | Prof. Baier | Theoretische Informatik | P | ZVZ | AVO | TBA | wöchentlich |
| Logic-Based Knowledge Representation | 0/2/0 | english | Prof. Rudolph | Künstliche Intelligenz | Ü | Montag | 6. | APB/E005/U | wöchentlich |
| Seminar Knowledge Representation and Reasoning | 0/2/0 | english | Dr. Cramer | Künstliche Intelligenz | Ü | Donnerstag | 5. | APB/E005/U | wöchentlich |
| Seminar Selected Topics in Logic and Verification | 0/2/0 | english | Prof. Baier | Theoretische Informatik | Ü | Freitag | 8. | TBA | wöchentlich |
| Seminar Theoretical Computer Science | 0/2/0 | english | Prof. Baader, Dr. Kriegel | Theoretische Informatik | Ü | Mittwoch | 1. | TBA | wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Algorithmic Game Theory | 2/2/0 | english | Dr. habil. Straß | Künstliche Intelligenz |
V Ü Ü Ü |
Montag Dienstag Donnerstag Donnerstag |
3. 6. 4. 5. |
SCH/A316/H APB/E006/U APB/E005/U APB/E006/U |
wöchentlich wöchentlich wöchentlich wöchentlich |
| Description Logic | 4/2/0 | english | Prof. Baader | Theoretische Informatik |
V V Ü |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005/U APB/E005/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Advanced Logics | 4/2/0 | english | Prof. Baier | Theoretische Informatik |
V V Ü |
Donnerstag Freitag Donnerstag |
2. 2. 3. |
APB/E005/U APB/E005/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Introduction to Existential Rules | 2/2/0 | english | Prof. Rudolph | Künstliche Intelligenz |
V V |
Montag Montag |
2. 3. |
APB/E005/U APB/E005/U |
wöchentlich wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Description Logic | 4/2/0 | english | Prof. Baader | Theoretische Informatik |
V V Ü |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005/U APB/E005/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Course | hours per week | Language | Lecturer | Institute | Type | Day | Slot | Room | Week |
|---|---|---|---|---|---|---|---|---|---|
| Algorithmic Game Theory | 2/2/0 | english | Dr. habil. Straß | Künstliche Intelligenz |
V Ü Ü Ü |
Montag Dienstag Donnerstag Donnerstag |
3. 6. 4. 5. |
SCH/A316/H APB/E006/U APB/E005/U APB/E006/U |
wöchentlich wöchentlich wöchentlich wöchentlich |
| Concurrency Theory | 2/2/0 | english | Dr. Mennicke | Theoretische Informatik |
V Ü |
Dienstag Mittwoch |
2. 3. |
APB/E005/U APB/E005/U |
wöchentlich wöchentlich |
| Description Logic | 4/2/0 | english | Prof. Baader | Theoretische Informatik |
V V Ü |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005/U APB/E005/U APB/E005/U |
wöchentlich wöchentlich wöchentlich |
| Introduction to Existential Rules | 2/2/0 | english | Prof. Rudolph | Künstliche Intelligenz |
V V |
Montag Montag |
2. 3. |
APB/E005/U APB/E005/U |
wöchentlich wöchentlich |
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::