Logik in der Informatik Prof. Dr. Martin Grohe

Institut für Informatik

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

Wintersemester 2006/07

Sommersemester 2006

Wintersemester 2005/06

Sommersemester 2005

Wintersemester 2004/05

Sommersemester 2004

Wintersemester 2003/04