Lehrveranstaltungen SS 2007

Grundstudium:

Vorlesung: Automaten und Formale Sprachen

Proseminar: Alles Logo? (Logik für Informatiker)

Hauptstudium:

Vorlesung: Komplexitätstheorie

Vorlesung: Formale Sprachen (Parallele Grammatiken und regulierte Ersetzung)

Seminar: Exakte und approximative Algorithmen für Logik-Probleme

Forschungsseminar Theoretische Informatik