Instituts-Logo Logik in der Informatik
Prof. Dr. Martin Grohe
Humboldt-Logo

Lehrveranstaltungen im Sommersemester 2011


Vorlesung Logik in der Informatik
Prof. Martin Grohe
Übungen zur Vorlesung bei Kord Eickmeyer
Vorlesung dienstags 09-11 und donnerstags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
Übungen donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Vorlesung Logik und Komplexität
Dr. André Hernich
Übungen zur Vorlesung bei Dr. André Hernich
Vorlesung montags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
und mittwochs 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
Übungen mittwochs 15-17 im Schrödinger Zentrum (Rudower Chaussee 26) Raum 1'307
 
Vorlesung Lineare Optimierung
PD Dr. Louchka Popova-Zeugmann
Vorlesung montags 09-11 und mittwochs 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
Übungen montags 11-13 und mittwochs 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'306
 
Proseminar Grenzen der formalen Methode
Prof. Martin Grohe
Freitags 09-11 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Seminar Informatik und Zufall
Prof. Martin Grohe
Donnerstags 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
 
Proseminar Kodierungstheorie
Kord Eickmeyer
Dienstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 0'313
 
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 2010/11

Sommersemester 2010

Wintersemester 2009/10

Sommersemester 2009

Wintersemester 2008/09

Sommersemester 2008

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: Feb 21 2011
Martin Grohe
Valid HTML 4.01! Valid CSS!