Wintersemester 2024/2025
Pflichtmodule
Logik für Informatik von Prof. Dr. Thomas Schwentick
Vorlesung: Montags, 10:15 bis 12:00 Uhr, HG II, HS 3
Beginn: 07.10.2024
Proseminare
Vertiefungsmodule
Logik und Komplexität von Prof. Dr. Thomas Schwentick
Vorlesung: Dienstags, 14:15 bis 16:00 Uhr, OH12, R. 3.031
Donnerstags, 10:15 bis 12:00 Uhr, OH12, R. 3.031 (14-tägig)
Beginn: 08.10.2024