Lehrveranstaltungen im WiSe 2024/25
Vorlesung Logik in der Informatik
Dienstag 09-11, RUD26 0'115
Donnerstag 11-13, RUD26 0'115
Übungen (chronologisch):
Montag 15-17 bei M.Sc. Benjamin Scheidt, RUD26 1'305
Montag 15-17 bei M.Sc. Benjamin Hauskeller RUD26 1'306
Dienstag 11-13 bei M.Sc. Benjamin Scheidt RUD26 1'305
Dienstag 11-13 bei Dr. André Frochaux RUD26 1'306
Freitag 09-11 bei M.Sc. Benjamin Scheidt, RUD26 1'305
Freitag 09-11 bei M.Sc. Benjamin Hauskeller RUD26 1'306
Prolog-Übung:
Dienstag 13-15 bei Dr. André Frochaux, Johann von Neumann-Haus (RUD25) 3'213
Donnerstag 9-11 bei Dr. André Frochaux, Johann von Neumann-Haus (RUD25) 3'213
Vorlesung Ausgewählte Kapitel der Logik: klassische Resultate
Dienstag 15-17, RUD26 1'306
Donnerstag 15-17, RUD26 1'306
Übung:
Mittwochs 15-17, RUD26 1'306
Seminar Weitere Kapitel der Automatentheorie
Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3'408
Seminar Einführung in die axiomatische Mengenlehre
Mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3'408