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

Lehrveranstaltungen im Sommersemester 2007


Vorlesung Anwendungen von Graphenzerlegungen in Algorithmik und Logik
Prof. Dr. Stephan Kreutzer und Dr. Isolde Adler
Übungen zur Vorlesung bei Dr. Isolde Adler
Dienstags 11-13 und Donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'313
Übungen Dienstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
 
Vorlesung Logik und Komplexität
Prof. Dr. Nicole Schweikardt
Übungen zur Vorlesung bei Dipl.-Inf. André Hernich und Prof. Dr. Nicole Schweikardt
Vorlesung Montags 13-15 (Raum 1'305) und Mittwochs 15-17 (Raum 1'307) im Schrödinger Zentrum (Rudower Chaussee 26)
Übungen Montags 15-17 (Raum 1'305) im Schrödinger Zentrum (Rudower Chaussee 26)
 
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'303
Übungen Donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
 
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
 
Proseminar Die Grenzen der Berechenbarkeit
Dipl. Inf. Magdalena Grüber
Freitags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Seminar Automaten für unendliche Wörter
Dipl.-Math. Mark Weyer
Dienstags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
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 2006/07

Sommersemester 2006

Wintersemester 2005/06

Sommersemester 2005

Wintersemester 2004/05

Sommersemester 2004

Wintersemester 2003/04


Last modified: Fri Mar 30 18:01:42 CEST 2007
Martin Grohe
Valid HTML 4.01! Valid CSS!