Unsere Lehrveranstaltungen
Lehrveranstaltungen Bachelor
| Veranstaltung | Art | Frequenz | Dozent |
|---|---|---|---|
| Grundlagen der Theoretischen Informatik | Vorlesung | jährlich im WS | Vollmer |
| Komplexität von Algorithmen | Vorlesung | jährlich im SS | Meier |
| Logik und formale Systeme | Vorlesung | jährlich im SS | Vollmer |
| Systematisches Programmieren | Praktikum | unregelmäßig | Chandoo |
Lehrveranstaltungen Master
| 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 |
