Lehrveranstaltungen im Sommersemester 2024
Vorlesung Einführung in die formale Logik für IMP
Mittwoch, 11-13, ESZ (RUD26), Raum 1.303
Übung: Donnerstag, 15-17, ESZ (RUD26), Raum 1.303
Vorlesung Ausgewählte Kapitel der Logik: Lokalität
Dienstag, 09-11, ESZ (RUD26), Raum 1.306
Donnerstag, 09-11, ESZ (RUD26), Raum 1.306
Übung: Dienstag, 11-13, ESZ (RUD26), Raum 1.306
Vorlesung Automatentheorie
Dienstag, 15-17, ESZ (RUD26), Raum 1.305
Freitag, 11-13, ESZ (RUD26), Raum 1.305
Übung: Freitag, 13-15, ESZ (RUD26), Raum 1.305
Seminar Aktuelle Themen der Theoretischen Informatik
Mittwochs 13:30-15, Johann von Neumann-Haus (RUD25), Raum 3.408
Dr. Steffen van Bergerem, Prof. Dr. Nicole Schweikardt
Seminar Weitere Kapitel der Datenbanktheorie
Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3.408