Lehrveranstaltungen
Wintersemester 2025/2026 Bachelor 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 Zur Kursbeschreibung Wahlmodule [...] Informatik von Prof. Dr. Thomas Schwentick Vorlesung: Dienstags, 10-12 Uhr, OH 14, Raum 104 Beginn: 14.10.2025 Zur Kursbeschreibung Proseminare Grundlagen der formalen Argumentation von Prof. Dr. Jean Christoph …