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
