Proseminar Anwendungen der Logik in der Informatik

TU Dresden | Sommersemester 2021 Proseminar Anwendungen der Logik in der Informatik

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

 

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