| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | () Vorlesung | Formale Systeme, Automaten, Prozesse | 6 | 498143 |
| () Tutorium | Formale Systeme, Automaten, Prozesse - Tutorium | 0 | 497307 | |
| () Übung | Formale Systeme, Automaten, Prozesse (Globalübung) | 0 | 498295 | |
| Mathematische Logik I | () Vorlesung | Mathematische Logik | 0 | 498360 |
| () Tutorium | Mathematische Logik | 0 | 498347 |