Module aus dem Bereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Modellierung und Analyse hybrider Systeme | () Vorlesung/Übung | Modellierung und Analyse hybrider Systeme | 6 | 508421 |
| Statische Programmanalyse | () Vorlesung | Statische Programmanalyse | 6 | 508294 |
| () Übung | Statische Programmanalyse | 0 | 508293 |
| Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 508289 |
| () Übung | Probabilistische Programmierung | 0 | 508290 |
| Algorithmische Modelltheorie I | () Vorlesung | Algorithmische Modelltheorie | | 508160 |
| () Übung | Algorithmische Modelltheorie | 0 | 508159 |
| Provenance Analysis and Semiring Semantics for Logics and Games | () Vorlesung | Provenance Analysis and Semiring Semantics for Logics and Games | | 508156 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 500485 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 499722 |
| Foundations of Functional Programming | () Vorlesung | Foundations of Functional Programming | 6 | 507759 |
| () Übung | Foundations of Functional Programming | 0 | 507758 |
| Introduction to Quantum Computing | () Übung | Introduction to Quantum Computing | 0 | 520909 |
| () Vorlesung | Introduction to Quantum Computing | | 520908 |
| Near-term Quantum Computation | () Übung | Near-term Quantum Computation | 0 | 521237 |
| () Vorlesung | Near-term Quantum Computation | | 521236 |
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | | 500132 |