| 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 |
Lehrveranstaltungen (Master)
Wir bieten die folgenden weiterführenden Vorlesungen und Seminare aus dem Bereich Theoretische Informatik an. Aktuelle Termine finden Sie im HIS-LSF.
Letzte Änderung: 21.10.22
