Lehrveranstaltungen (Master)

Wir bieten die folgenden weiterführenden Vorlesungen und Seminare aus dem Bereich Theoretische Informatik an. Aktuelle Termine finden Sie im HIS-LSF.

Veranstaltung Art Frequenz Dozent
Berechenbarkeit und Logik Vorlesung zweijährlich (ungerade) im SS Vollmer
Effiziente Algorithmen Vorlesung zweijährlich (ungerade) im WS Meier
Formale Sprachen Vorlesung zweijährlich (ungerade) im SS Meier
Komplexitätstheorie Vorlesung zweijährlich (ungerade) im WS Vollmer
Kryptographie Vorlesung zweijährlich (gerade) im WS Meier
Logik und Komplexität Vorlesung zweijährlich (gerade) im SS Meier
SAT-Algorithmen Vorlesung unregelmäßig Meier
Theorie Boole'scher Schaltkreise Vorlesung zweijährlich (gerade) im SS Vollmer
Theorie der parametrisierten Komplexität Vorlesung zweijährlich (gerade) im WS Vollmer

KURSANMELDUNG UND -MATERIALIEN

Weitere Informationen zu diesen Modulen finden Sie im Online-Vorlesungsverzeichnis und im Stud.IP.