Veranstaltungskanon

Die Arbeitsgruppe verfügt über ein breites Spektrum an Lehrveranstaltungen aus dem Bereich der theoretischen Informatik. Diejenigen Vorlesungen, die regelmäßig angeboten werden, sind:

Bachelorstudium
- Algorithmen und Datenstrukturen
- Theoretische Grundlagen der Informatik
Masterstudium
- Kryptographie
- Automaten, Logiken, Spiele

Dazu kommen Seminare, Projekte und Abschlussarbeiten.

Materialien zur Vorlesung “Logik für Informatiker”