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

Lehrveranstaltungen im Sommersemester 2008


Vorlesung Logik, Spiele und Automaten
Dr. Isolde Adler
Übungen zur Vorlesung bei Dipl.-Inf. Magdalena Grüber
Vorlesung Dienstags 13-15 und Donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'305
Übungen Donnerstags 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'305
 
Vorlesung Parametrische Algorithmen und Komplexitätstheorie
Dr. Mark Weyer
Übungen zur Vorlesung bei Dipl.-Inf. Magdalena Grüber
Vorlesung Montags 09-11 und Mittwochs 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
Übungen Montags 11-13 (Raum 1'303) im Schrödinger Zentrum (Rudower Chaussee 26)
 
Vorlesung Zeit und Petrinetze
PD Dr. Louchka Popova-Zeugmann
Vorlesung Dienstags 09-11 und Donnerstags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
Übungen Dienstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303
 
Dr. Isolde Adler
Freitags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Proseminar Computer Science unplugged
Dr. Isolde Adler
Donnerstags 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 2007/08

Sommersemester 2007

Wintersemester 2006/07

Sommersemester 2006

Wintersemester 2005/06

Sommersemester 2005

Wintersemester 2004/05

Sommersemester 2004

Wintersemester 2003/04


Last modified: Thu Mar 28 10:52:27 MET 2008
Martin Grohe
Valid HTML 4.01! Valid CSS!