| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Modellierung und Analyse hybrider Systeme | () Vorlesung/Übung | Modellierung und Analyse hybrider Systeme | 6 | 508421 |
| Mathematische Logik I | () Vorlesung | Mathematische Logik | 0 | 498360 |
| () Tutorium | Mathematische Logik | 0 | 498347 | |
| Foundations of Functional Programming | () Vorlesung | Foundations of Functional Programming | 6 | 507759 |
| () Übung | Foundations of Functional Programming | 0 | 507758 |