Wahlpflichtbereich Theoretische Informatik
| 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 |