Wahlpflichtbereich Theoretische Grundlagen des SSE

NameCourse TypeNameCreditsID
Statische Programmanalyse () VorlesungStatische Programmanalyse6508294
() ÜbungStatische Programmanalyse0508293
Modellierung und Analyse hybrider Systeme () Vorlesung/ÜbungModellierung und Analyse hybrider Systeme6508421
Algorithmische Modelltheorie I () VorlesungAlgorithmische Modelltheorie508160
() ÜbungAlgorithmische Modelltheorie0508159
Probabilistic Programming () VorlesungProbabilistische Programmierung6508289
() ÜbungProbabilistische Programmierung0508290
Fixpoints and Induction in Logic and Computer Science () ÜbungFixpoints and Induction in Logic and Computer Science0500485
() VorlesungFixpoints and Induction in Logic and Computer Science499722
Introduction to Quantum Computing () ÜbungIntroduction to Quantum Computing0520909
() VorlesungIntroduction to Quantum Computing520908
Near-term Quantum Computation () ÜbungNear-term Quantum Computation0521237
() VorlesungNear-term Quantum Computation521236