Proseminar Ausgewählte Themen der Theoretischen Informatik

Das Proseminar "Ausgewählte Themen 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").