Nächstes Semester
Sommersemester 21
Aktuelles Semester
Wintersemester 20/21
- Logik (Bachelor, Pflicht)
- Konzepte und Methoden der Theoretischen Informatik (Bachelor, Wahl)
- Datenbanktheorie (Master, Vertiefung)
Alle Module
Bachelormodule:
-
Logik (Pflicht)
-
Einführung in die Grundlagen des Model Checking (Wahl, derzeit nicht)
Mastermodule:
-
Komplexitätstheorie (Basis)
-
Logik und Komplexität (Vertiefung)
-
Datenbanktheorie (Vertiefung)
-
Grundlagen des Model Checking (Vertiefung, derzeit nicht)
-
Seminar
Die Links verweisen jeweils auf die Webseite der aktuellsten Version des Moduls.
Kommende Semester (ohne Gewähr!!!)
Wintersemester 20/21
- Logik
- Konzepte und Methoden der Theoretischen Informatik
- Datenbanktheorie