Module aus dem Bereich Theoretische Informatik

NameCourse TypeNameCreditsID
Foundations of Functional Programming () VorlesungFoundations of Functional Programming6575146
() ÜbungFoundations of Functional Programming0575145
Statische Programmanalyse () VorlesungStatische Programmanalyse6575560
() ÜbungStatische Programmanalyse0575559
Algorithmische Spieltheorie () VorlesungAlgorithmische Spieltheorie6574215
Modeling and Verification of Probabilistic Systems () VorlesungModellierung und Verifikation probabilistischer Systeme6561324
() ÜbungModellierung und Verifikation probabilistischer Systeme0560302
Fixpoints and Induction in Logic and Computer Science () ÜbungFixpoints and Induction in Logic and Computer Science0563290
() VorlesungFixpoints and Induction in Logic and Computer Science562418
Introduction to Quantum Computing () ÜbungIntroduction to Quantum Computing0562508
() VorlesungIntroduction to Quantum Computing562555