Module aus dem Bereich Theoretische Informatik

NameCourse TypeNameCreditsID
Infinite Computations and Games () VorlesungInfinite Computations and Games6537617
() ÜbungInfinite Computations and Games0537387
Model Checking () VorlesungIntroduction to Model Checking6537573
() ÜbungIntroduction to Model Checking0536600
Concurrency Theory () VorlesungConcurrency Theory6558581
() ÜbungConcurrency Theory0558582
Probabilistic Programming () VorlesungProbabilistische Programmierung6558579
() ÜbungProbabilistische Programmierung0558580
Komplexitätstheorie () VorlesungKomplexitätstheorie6557994
() ÜbungÜbung zur Vorlesung Komplexitätstheorie0557995
Analyse von Algorithmen () VorlesungAnalyse von Algorithmen0560022
Erfüllbarkeitsüberprüfung () Vorlesung/ÜbungErfüllbarkeitsüberprüfung537540
Post-quantum cryptography () Vorlesung/ÜbungPost-quantum cryptography539191
Machine Learning with Graphs: Foundations and Applications () Vorlesung/ÜbungMachine Learning with Graphs: Foundations and Applications557902
Kombinatorische Optimierung in der wissenschaftlichen Praxis () ProjektKombinatorische Optimierung in der wissenschaftlichen Praxis0540097
Algorithmic Foundations of Datascience () VorlesungAlgorithmic Foundations of Data Science558119
() ÜbungAlgorithmic Foundations of Data Science0558120