Sommersemester 2025

Vertiefende Veranstaltungen

• Modallogik
• Oberseminar

Grundlagenveranstaltungen

• Theorie der Programmierung (ThProg)
• Theoretische Informatik für Wirtschaftsinformatik und Lehramt
• Zusatzübung zu Grundlagen der Logik in der Informatik