Module aus dem Bereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Compilerbau | () Vorlesung | Compilerbau | 6 | 533716 |
| () Übung | Compilerbau | 0 | 533717 |
| Modeling and Verification of Probabilistic Systems | () Vorlesung | Modellierung und Verifikation probabilistischer Systeme | 6 | 533817 |
| () Übung | Modellierung und Verifikation probabilistischer Systeme | 0 | 533818 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 526841 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 526041 |
| Foundations of Logic Programming | () Vorlesung | Foundations of Logic Programming | 6 | 532442 |
| () Übung | Foundations of Logic Programming | 0 | 532443 |
| Introduction to Quantum Computing | () Übung | Introduction to Quantum Computing | 0 | 526126 |
| () Vorlesung | Introduction to Quantum Computing | | 526173 |
| Near-term Quantum Computation | () Übung | Near-term Quantum Computation | 0 | 526285 |
| () Vorlesung | Near-term Quantum Computation | | 527606 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Data Science | | 525927 |
| () Übung | Algorithmic Foundations of Data Science | | 525913 |
| Mathematische Heuristiken in der diskreten Optimierung | () Übung | Mathematische Heuristiken in der diskreten Optimierung | 0 | 533314 |
| () Vorlesung | Mathematische Heuristiken in der diskreten Optimierung | | 533312 |
| Theory of Distributed Systems | () Übung | Theory of Distributed Systems | 0 | 535015 |
| () Vorlesung | Theory of Distributed Systems | | 535014 |
| Optimization and Uncertainty | () Übung | Optimization and Uncertainty | 0 | 535019 |
| () Vorlesung | Optimization and Uncertainty | | 535018 |