Module aus dem Bereich Theoretische Informatik

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