Wahlpflichtbereich Theoretische Grundlagen des SSE
| 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 |
| 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 |