Nächstes Semester
Wintersemester 19/20
- Konzepte und Methoden der Theoretischen Informatik (Bachelor, Wahl)
- Logik und Komplexität (Master, Vertiefung)
- Seminar zu aktuellen Themen der Theoretischen Informatik (Master, Seminar)
Aktuelles Semester
Sommersemester 19
(Forschungssemester)
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 17/18
Frühere Semester
WS 16/17
- Logik
- Konzepte und Methoden der Theoretischen Informatik
- Datenbanktheorie
SS 16
- Grundbegriffe der theoretischen Informatik
- Komplexitätstheorie
WS 15/16
- Konzepte und Methoden der Theoretischen Informatik
- Logik und Komplexität
SS 15
- Grundbegriffe der theoretischen Informatik
- Komplexitätstheorie
WS 14/15
- Forschungsfreisemester
SS 14
- Grundbegriffe der theoretischen Informatik
- Komplexitätstheorie
WS 13/14
- Logik
- Parametrisierte Algorithmen
- Datenbanktheorie
SS 13
- Grundbegriffe der Theoretischen Informatik
- Komplexitätstheorie
WS 12/13
- Logik für Informatiker
- Einführung in die Grundlagen des Model Checking
- Logik und Komplexität
SS 12
- Grundbegriffe der Theoretischen Informatik
- Datenbanktheorie
WS 11/12
- Logik für Informatiker
- Komplexitätstheorie
SS 11
- Grundbegriffe der Theoretischen Informatik
- Logik und Komplexität
WS 10/11
- Logik für Informatiker
- Komplexitätstheorie
SS 10
WS 09/10
- Logik für Informatiker
- Komplexitätstheorie
SS 09
- Grundbegriffe der Theoretischen Informatik
- Einführung in die Grundlagen des Model Checking
- Verteilte Algorithmen
WS 08/09
- Logik für Informatiker
- Logik und Komplexität
SS 08
- Parametrisierte Algorithmen
- Datenbanktheorie
WS 07/08
- Logik für Informatiker