Nächstes Semester

Sommersemester 20

• Grundbegriffe der Theoretischen Informatik (Bachelor, Pflicht)
• Komplexitätstheorie (Master, Basis)
• Seminar über Bachelor-, Master- und Doktorarbeiten

Aktuelles 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)

Alle Module

Bachelormodule:

• Logik (Pflicht)

• Grundbegriffe der Theoretischen Informatik (Pflicht)

• Konzepte und Methoden der Theoretischen Informatik (Wahl)

• Einführung in die Grundlagen des Model Checking (Wahl, derzeit nicht)

• Proseminar

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