Proseminar Anwendungen der Logik in der Informatik (SS 2022)

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