Perlen der theoretischen Informatik und Logik

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