6 of 6 courses
| Mathematische Logik II | Mathematische Logik II | Vorlesung | 0 | ×12Mo 10:30-12:00IV (1010|141)×13Di 12:30-14:00AH I (2350|028) |
| Mathematische Logik II | Übung | 0 | ×11Di 14:15-15:45AH I (2350|028)×1Di 14:30-16:00AH I (2350|028)×1Mi 08:30-12:00AH II (2350|111)×1Do 10:30-12:30AH II (2350|111) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH III (2350|314.1)×12Di 10:30-11:15AH VI (2356|051)×13Fr 08:30-10:00AH II (2350|111) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×15Do 12:30-14:00AH VI (2356|051)×1Fr 12:30-14:00AH I (2350|028) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×13Fr 12:30-14:00AH I (2350|028) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Mo 10:30-12:00AH III (2350|314.1)×14Mi 10:30-12:00AH III (2350|314.1) |