Logik in der Informatik Prof. Dr. Martin Grohe

Magdalena Grüber

Postanschrift: Sitz: Humboldt-Universität zu Berlin Johann von Neumann-Haus Institut für Informatik Haus IV, Zimmer 404 Unter den Linden 6 Rudower Chaussee 25 10099 Berlin 12489 Berlin Tel.: 030 / 2093 3088 Fax: 030 / 2093 3081 Email: grueber ät informatik.hu-berlin.de

Lehrveranstaltungen

Sommersemester 2009
Übung zur Vorlesung Die Komplexität des constraint satisfaction Problems
Dienstags 15 - 17 Uhr, Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'307
Übung zur Vorlesung Graph Minor Theory
Donnerstags 11 - 13 Uhr, Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'307

Wintersemester 2008/2009
Übung zur Vorlesung Logik in der Informatik
Übung zur Vorlesung Theoretische Informatik I

Sommersemester 2008
Übung zur Vorlesung Logik, Spiele und Automaten
Übung zur Vorlesung Parametrische Algorithmen und Komplexitätstheorie

Wintersemester 2007/2008
Übungen zur Vorlesung Theoretische Informatik I

Sommersemester 2007
Übung zur Vorlesung Lineare Optimierung
Proseminar Die Grenzen der Berechenbarkeit

Wintersemester 2006/2007
Übungen zur Vorlesung Theoretische Informatik I

Sommersemester 2006
Übung zur Vorlesung Lineare Optimierung
Proseminar Die Grenzen der Berechenbarkeit

Wintersemester 2005/2006
Übungen zur Vorlesung Theoretische Informatik I

Sommersemester 2005
Übung zur Vorlesung Parametrische Algorithmen und Komplexitätstheorie
Betreuung im Proseminar Die Grenzen der Berechenbarkeit

Sprechstunde

Donnerstags 17 - 18 Uhr