Wahlpflichtbereich Theoretische Grundlagen des SSE

NameCourse TypeNameCreditsID
Infinite Computations and Games () VorlesungInfinite Computations and Games6485276
() ÜbungInfinite Computations and Games0485028
Komplexitätstheorie () VorlesungKomplexitätstheorie6496466
() ÜbungÜbung zur Vorlesung Komplexitätstheorie0496467
Concurrency Theory () VorlesungConcurrency Theory6495716
() ÜbungConcurrency Theory0495717
Modeling and Verification of Probabilistic Systems () VorlesungModellierung und Verifikation probabilistischer Systeme6495722
() ÜbungModellierung und Verifikation probabilistischer Systeme0495723
Mathematische Logik II () VorlesungMathematische Logik II0494454
() ÜbungMathematische Logik II0494455
Algorithmische Lerntheorie () VorlesungAlgorithmische Lerntheorie496468
() ÜbungAlgorithmische Lerntheorie (Übung)0496469
Introduction to Algorithmic Differentiation () Vorlesung/ÜbungEinführung in Algorithmisches Differenzieren6484344
Post-quantum cryptography () Vorlesung/ÜbungPost-quantum cryptography507533