Sommersemester 2025
Vertiefende Veranstaltungen
- Modallogik
- Oberseminar
Grundlagenveranstaltungen
- Theorie der Programmierung (ThProg) (Seite wird noch erstellt)
- Theoretische Informatik für Wirtschaftsinformatik und Lehramt (Seite wird noch erstellt)
- Zusatzübung zu Grundlagen der Logik in der Informatik