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
<link de lehre msc bul>Berechenbarkeit und Logik Vorlesung zweijährlich (ungerade) im SS Vollmer
<link de lehre msc algo>Effiziente Algorithmen Vorlesung zweijährlich (ungerade) im WS Meier
<link de lehre msc fs>Formale Sprachen Vorlesung zweijährlich (ungerade) im SS Meier
<link de lehre msc kt>Komplexitätstheorie Vorlesung zweijährlich (ungerade) im WS Vollmer
<link de lehre msc krypto>Kryptographie Vorlesung zweijährlich (gerade) im WS Meier
<link de lehre msc logik-und-komplexitaet>Logik und Komplexität Vorlesung zweijährlich (gerade) im SS Meier
<link de lehre msc sat>SAT-Algorithmen Vorlesung unregelmäßig Meier
<link de lehre msc thbs>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.