| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | 436932 | |
| Komplexitätstheorie | () Vorlesung | Komplexitätstheorie | 6 | 435267 |
| () Übung | Übung zur Vorlesung Komplexitätstheorie | 0 | 435268 | |
| Logik und Spiele | () Vorlesung | Logik und Spiele | 0 | 442121 |
| () Übung | Logik und Spiele (Übungen) | 0 | 442122 | |
| Algorithmische Lerntheorie | () Vorlesung | Algorithmische Lerntheorie | 443039 | |
| () Übung | Algorithmische Lerntheorie (Übung) | 0 | 443040 |