| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Mathematische Logik II | () Vorlesung | Mathematische Logik II | 0 | 494454 |
| () Übung | Mathematische Logik II | 0 | 494455 | |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | 485197 | |
| Komplexitätstheorie | () Vorlesung | Komplexitätstheorie | 6 | 496466 |
| () Übung | Übung zur Vorlesung Komplexitätstheorie | 0 | 496467 | |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 484344 |