Sommersemester 2025

Vertiefende Veranstaltungen

• Modallogik
• Oberseminar (Seite wird noch erstellt)

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