Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Algorithmische Spieltheorie | () Vorlesung | Algorithmische Spieltheorie (für Informatik & SSE) | 6 | 467131 |
| Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 459500 |
| () Übung | Infinite Computations and Games | 0 | 459245 |
| Algorithmische Spieltheorie | () Vorlesung | Algorithmische Spieltheorie (für Informatik & SSE) | 6 | 467131 |
| Graphalgorithmen | () Vorlesung | Algorithmische Graphentheorie | | 467471 |
| () Tutorium | Algorithmische Graphentheorie - Übung | 0 | 467472 |
| Compilerbau | () Vorlesung | Compilerbau | 6 | 460125 |
| () Übung | Compilerbau | 0 | 458641 |
| Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 458250 |
| () Übung | Probabilistische Programmierung | 0 | 458006 |
| Analyse von Algorithmen | () Vorlesung | Analyse von Algorithmen | 0 | 468548 |
| Algorithmische Modelltheorie I | () Vorlesung | Algorithmische Modelltheorie | | 467727 |
| () Übung | Algorithmische Modelltheorie | 0 | 467726 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 459420 |