Lehrveranstaltungen im Sommersemester 2020
Vorlesung Einführung in die formale Logik für IMP
Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303 digital
Übung: Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'103 digital
Vorlesung Logik und Komplexität
Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303 digital
Donnerstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303 digital
Übung: Dienstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'106 digital
Jens Keppeler und Prof. Dr. Nicole Schweikardt
Vorlesung Einführung in die Beweiskomplexität
Dienstag, 9-11, Schrödinger-Zentrum (RUD26), Raum 1'303
Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307
Übung: Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307
Vorlesung Lineare Optimierung
Montag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303
Dienstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'303
PD Dr. Louchka Popova-Zeugmann
Übung: Montag, 09-11, Schrödinger-Zentrum (RUD26), Raum 1'303
PD Dr. Louchka Popova-Zeugmann
Vorlesung Angewandte Mathematik für die Informatik
Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115
Donnerstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115
PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler
Übung: Dienstag, 09-11, Schrödinger-Zentrum (RUD26), Raum 1'306
Mittwoch, 09-11, Johann von Neumann-Haus (RUD25), Raum 3.101
Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'306
PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler
Seminar Beweiskomplexität
Blockseminar, Raum 3.408
Seminar Aktuelle Themen in Logik und Komplexität
Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3.408