Module aus dem Bereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Statische Programmanalyse | () Vorlesung | Statische Programmanalyse | 6 | 575560 |
| () Übung | Statische Programmanalyse | 0 | 575559 |
| Algorithmische Spieltheorie | () Vorlesung | Algorithmische Spieltheorie | 6 | 574215 |
| Modeling and Verification of Probabilistic Systems | () Vorlesung | Modellierung und Verifikation probabilistischer Systeme | 6 | 561324 |
| () Übung | Modellierung und Verifikation probabilistischer Systeme | 0 | 560302 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 563290 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 562418 |
| Foundations of Functional Programming | () Vorlesung | Foundations of Functional Programming | 6 | 575146 |
| () Übung | Foundations of Functional Programming | 0 | 575145 |
| Introduction to Quantum Computing | () Übung | Introduction to Quantum Computing | 0 | 562508 |
| () Vorlesung | Introduction to Quantum Computing | | 562555 |
| Mathematische Heuristiken in der diskreten Optimierung | () Übung | Mathematische Heuristiken in der diskreten Optimierung | 0 | 563020 |
| () Vorlesung | Mathematische Heuristiken in der diskreten Optimierung | | 564133 |