Lehrveranstaltungen im Sommersemester 2004
- Vorlesung Logiken, Spiele und Automaten
-
Prof. Dr. Martin Grohe
- Übungen zur Vorlesung bei
Dr. Nicole Schweikardt
und
Dr. Stephan Kreutzer
- Vorlesung Dienstags 11-13 und Donnerstags 11-13
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
- Übungen Donnerstags 13-15 Schrödinger Zentrum
(Rudower Chaussee 26), Raum 1'308
-
- Vorlesung Logik und Komplexität
-
Dr. Stephan Kreutzer und
Dr. Nicole Schweikardt
- Übungen zur Vorlesung bei
Dr. Stephan Kreutzer
und
Dr. Nicole Schweikardt
- Vorlesung Mittwochs 9-11 und Freitags 9-11
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
- Übungen Mittwochs 11-13 Schrödinger Zentrum
(Rudower Chaussee 26), Raum 1'308
-
- Vorlesung Lineare Optimierung
-
Dr. Louchka Popova-Zeugmann
- Übungen zur Vorlesung bei
Dr. Louchka Popova-Zeugmann
- Vorlesung dienstags 9-11 und donnerstags 9-11
im Johann von Neumann Haus (Rudower Chaussee 25), Raum III'101
- Übungen donnerstags 11-13 Johann von Neumann Haus
(Rudower Chaussee 25), Raum III'113
-
- Proseminar
Die Grenzen der Berechenbarkeit
-
Prof. Dr. Martin Grohe
- Montags 17-19 im Johann von Neumann Haus (Rudower
Chaussee 25), Raum 4.112
-
- Seminar
SAT-Solver in Theorie und Praxis
-
Prof. Dr. Martin Grohe
- Montags 15-17 im Johann von Neumann Haus (Rudower
Chaussee 25), Raum 4.112
-
- Mitarbeiterseminar
Logik in der Informatik
- Freitags 11-13 im Johann von Neumann Haus (Rudower
Chaussee 25), Raum 4.410
-
- Oberseminar Theoretische Informatik
- Unregelmäßig Freitags 13-15 im Johann von Neumann Haus
(Rudower Chaussee 25), Raum 3.113
Lehrveranstaltungen in früheren Semestern
Wintersemester 2003/04
