Proseminar Anwendungen der Logik in der Informatik (SS 2022)

TU Dresden | Sommersemester 2022 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").

 

Zugang zum Kurs gesperrt. Bitte melden Sie sich an. Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.