-
LOGIC-IN
-
Teaching
-
Courses
Wintersemester 2024/2025
Dr. Thomas Schwentick Vorlesung: Dienstags, 14:15 bis 16:00 Uhr, OH12, R. 3.031 Donnerstags, 10:15 bis 12:00 Uhr, OH12, R. 3.031 (14-tägig) Beginn: 08.10.2024 Zur Kursbeschreibung [...] Logik für Informatik von Prof. Dr. Thomas Schwentick Vorlesung: Montags, 10:15 bis 12:00 Uhr, HG II, HS 3 Beginn: 07.10.2024 Zur Kursbeschreibung Proseminare SAT Solving von Prof. Dr. Jean Christoph Jung Zur …