Wahlpflichtbereich Theoretische Grundlagen des SSE
Name | Course Type | Name | Credits | ID |
---|
Statische Programmanalyse | () Vorlesung | Statische Programmanalyse | 6 | 508294 |
() Übung | Statische Programmanalyse | 0 | 508293 |
Modellierung und Analyse hybrider Systeme | () Vorlesung/Übung | Modellierung und Analyse hybrider Systeme | 6 | 508421 |
Algorithmische Modelltheorie I | () Vorlesung | Algorithmische Modelltheorie | | 508160 |
() Übung | Algorithmische Modelltheorie | 0 | 508159 |
Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 508289 |
() Übung | Probabilistische Programmierung | 0 | 508290 |
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 |
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 |