Perlen der theoretischen Informatik

Das Proseminar "Perlen der theoretischen Informatik" ist ein Angebot für Studierende im Studiengang Bachelor Informatik (Modul INF-B-610, INF-B-510, INF-B-520) und im Diplomstudiengang Informatik (Modul INF-D-520). Wünschenswert ist, dass die Studierenden Interesse an der theoretischen Informatik haben (z.B. an der inhaltlichen Ausrichtung der Lehrveranstaltungen "Formale Systeme" und "Theoretische Informatik und Logik").