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

Lehrveranstaltungen im Wintersemester 2010/11


Vorlesung Logik in der Informatik
Prof. Dr. Martin Grohe
Vorlesung dienstags und donnerstags 11-13 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'303
Übungen montags 9-11 und 15-17 sowie dienstags 9-11 und 15-17 im Schrödinger-Zentrum (Rudower Chaussee 26)
donnerstags 9-11 finden praktische Übungen zur Programmiersprache Prolog statt (Raum 1'303)
 
Vorlesung Logik, Spiele und Automaten
Prof. Dr. Martin Grohe
Vorlesung dienstags und donnerstags 9-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'307 bzw. Raum 1'308
Übungen montags 11-13 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'308
 
Seminar Grenzen der Petrinetze
PD. Dr. Louchka Popova-Zeugmann
Donnerstags 13-15 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'305
 
Seminar Aktuelle Themen der Theoretischen Informatik
Prof. Dr. Martin Grohe
Freitags 9-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'303
 
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

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: Thu Oct 7 14:34:58 CEST 2010
Martin Grohe
Valid HTML 4.01!