Wahlpflichtbereich Theoretische Grundlagen des SSE
Name | Course Type | Name | Credits | ID |
---|
Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 459500 |
() Übung | Infinite Computations and Games | 0 | 459245 |
Compilerbau | () Vorlesung | Compilerbau | 6 | 460125 |
() Übung | Compilerbau | 0 | 458641 |
Graphalgorithmen | () Vorlesung | Algorithmische Graphentheorie | | 467471 |
() Tutorium | Algorithmische Graphentheorie - Übung | 0 | 467472 |
Algorithmische Spieltheorie | () Vorlesung | Algorithmische Spieltheorie (für Informatik & SSE) | 6 | 467131 |
Analyse von Algorithmen | () Vorlesung | Analyse von Algorithmen | 0 | 468548 |
Algorithmische Modelltheorie I | () Vorlesung | Algorithmische Modelltheorie | | 467727 |
() Übung | Algorithmische Modelltheorie | 0 | 467726 |
Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 458250 |
() Übung | Probabilistische Programmierung | 0 | 458006 |
Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Rechnergestütztes Differenzieren | 6 | 458539 |