Module aus dem Bereich Theoretische Informatik

NameCourse TypeNameCreditsID
Infinite Computations and Games () VorlesungInfinite Computations and Games6485276
() ÜbungInfinite Computations and Games0485028
Concurrency Theory () VorlesungConcurrency Theory6495716
() ÜbungConcurrency Theory0495717
Formale Grundlagen von UML () VorlesungTheoretical Foundations of the UML (FUML)6495719
() ÜbungTheoretical Foundations of the UML (FUML)0495718
Modeling and Verification of Probabilistic Systems () VorlesungModellierung und Verifikation probabilistischer Systeme6495722
() ÜbungModellierung und Verifikation probabilistischer Systeme0495723
Komplexitätstheorie () VorlesungKomplexitätstheorie6496466
() ÜbungÜbung zur Vorlesung Komplexitätstheorie0496467
Mathematische Logik II () VorlesungMathematische Logik II0494454
() ÜbungMathematische Logik II0494455
Erfüllbarkeitsüberprüfung () Vorlesung/ÜbungErfüllbarkeitsüberprüfung485197
Kombinatorische Optimierung in der wissenschaftlichen Praxis () ProjektKombinatorische Optimierung in der wissenschaftlichen Praxis0496724
Post-quantum cryptography () Vorlesung/ÜbungPost-quantum cryptography507533