Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 436242 |
| () Übung | Infinite Computations and Games | 0 | 435495 |
| Algorithmische Lerntheorie | () Vorlesung | Algorithmische Lerntheorie | | 443039 |
| () Übung | Algorithmische Lerntheorie (Übung) | 0 | 443040 |
| Concurrency Theory | () Vorlesung | Concurrency Theory | 6 | 442101 |
| () Übung | Concurrency Theory | 0 | 442102 |
| Formale Grundlagen von UML | () Vorlesung | Theoretical Foundations of the UML (FUML) | 6 | 442104 |
| () Übung | Theoretical Foundations of the UML (FUML) | 0 | 442103 |
| Komplexitätstheorie | () Vorlesung | Komplexitätstheorie | 6 | 435267 |
| () Übung | Übung zur Vorlesung Komplexitätstheorie | 0 | 435268 |
| Parametrisierte Algorithmen | () Vorlesung | Parametrisierte Algorithmen | | 443841 |
| () Übung | Parametrisierte Algorithmen | 0 | 443842 |
| Logik und Spiele | () Vorlesung | Logik und Spiele | 0 | 442121 |
| () Übung | Logik und Spiele (Übungen) | 0 | 442122 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 436932 |