Lehrstuhl Logik in der Informatik

Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Lehrveranstaltungen im Sommersemester 2017

Vorlesung Einführung in die Beweiskomplexität: Dr. Christoph Berkholz/ M.Sc. Jens Keppeler; Vorlesungen und Übungen:; montags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303 und; dienstags 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
Vorlesung Lineare Optimierung: PD Dr. Louchka Popova-Zeugmann; Vorlesungen:; mittwochs 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307 und; donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'305; Übungen:; mittwochs 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
Vorlesung Angewandte Mathematik für die Informatik: PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler; Vorlesungen:; dienstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 0'115 und; mittwochs (14-tgl.) 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 0'115; Übungen (4 Gruppen):; dienstags 13-14 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'305 bei M.Sc. Jens Keppeler; dienstags 15-16 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'305 bei PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler; donnerstags 09-10 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306 bei PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler; donnerstags 11-12 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306 bei M.Sc. Jens Keppeler
Seminar Aktuelle Themen in Logik und Datenbanktheorie: Dr. André Frochaux; mittwochs 15:30-17 im Johann von Neumann Haus (Rudower Chaussee 25), Raum 3.408