Proseminar Anwendungen der Logik in der Informatik (WS 21/22)

TU Dresden | Wintersemester 2021 / 2022 Proseminar Anwendungen der Logik in der Informatik (WS 21/22)

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").

 

Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.