Logik in der Informatik
Prof. Dr. Martin Grohe
Humboldt-Logo
Institut für Informatik

Lehrveranstaltungen im Sommersemester 2006


Vorlesung Baumzerlegungen von Graphen und ihre algorithmischen Anwendungen
Prof. Dr. Martin Grohe
Übungen zur Vorlesung bei Dipl.-Math. Mark Weyer
Dienstags und Donnerstags 9-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
Übungen Donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
 
Vorlesung Theorie und Anwendung von Theorembeweisern
Prof. Dr. Martin Grohe
Projekte zur Vorlesung bei Dipl.-Math. Mark Weyer
Dienstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
Projektteil Donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
 
Vorlesung Lineare Optimierung
Dr. Louchka Popova-Zeugmann
Übungen zur Vorlesung bei Dipl.-Inf. Magdalena Grüber
Vorlesung Dienstags 9-11 und Donnerstags 9-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
Übungen Donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
 
Vorlesung Zeit und Petrinetze
Dr. Louchka Popova-Zeugmann
Vorlesung Dienstags 13-15 und Donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
Übungen Donnerstags 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Vorlesung Datenbanktheorie
Prof. Dr. Nicole Schweikardt
Vorlesung Montags 15-17 Uhr in Raum 1'306 und Mittwochs 13-15 Uhr in Raum 1'303, Schrödinger Zentrum (Rudower Chaussee 26)
Übungen Mittwochs 15-17 in Raum 1'303, Schrödinger Zentrum (Rudower Chaussee 26)
 
Proseminar Die Grenzen der Berechenbarkeit
Dipl. Inf. Magdalena Grüber
Freitags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Seminar Exponential Algorithms
Prof. Dr. Martin Grohe
Blockveranstaltung am 24.-25. Juli 2006. Raum 1'307 im Schrödinger Zentrum (Rudower Chaussee 26).
Vorbesprechung am 21.04.2006 um 13.00 Uhr im Johann von Neumann Haus (Rudower Chaussee 25), Raum 4.410.
 
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 2005/06

Sommersemester 2005

Wintersemester 2004/05

Sommersemester 2004

Wintersemester 2003/04


Last modified: Mon Apr 10 16:51:43 CEST 2006
Martin Grohe
Valid HTML 4.01! Valid CSS!