Wintersemester 2025/2026
Pflichtmodule
Logik für Informatik von Prof. Dr. Jean Christoph Jung
Vorlesung: Montags, 10 bis 12 Uhr, HG II, HS 3
Beginn: 13.10.2025
Proseminare
Vertiefungsmodule
Konzepte und Methoden der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
Vorlesung: Dienstags, 10-12 Uhr, OH 14, Raum 104
Beginn: 14.10.2025