Lehrveranstaltungen im Wintersemester 2011/12
- Vorlesung Logik in der Informatik
- PD. Dr. Louchka Popova-Zeugmann
- Vorlesung montags und mittwochs 09-11 im Schrödinger-Zentrum
(Rudower Chaussee 26), Raum 0'110
- Übungen zur Vorlesung:
- montags 15-17 Raum RUD26, 1'303 bei Dr. André Hernich
- sowie dienstags 13-15 Raum RUD26, 0'313 bei Dr. André Hernich
- sowie dienstags 15-17 Raum RUD26, 0'313 bei Dr. André Hernich
- sowie mittwochs 15-17 Raum RUD26, 1'305 bei Christoph Berkholz
-
- Vorlesung Zeit und Petrinetze
- PD. Dr. Louchka Popova-Zeugmann
- Montags 13-15 und mittwochs 13-15 im Schrödinger-Zentrum
(Rudower Chaussee 26), Raum 1'307
-
- Vorlesung Algorithmic Graph Theory
- Dr. Paul Bonsma
- Vorlesung dienstags 09-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'306
- und donnerstags 09-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'307
- Übungen zur Vorlesung:
- donnerstags 11-13 Raum RUD26, 1'307 bei Dr. Paul Bonsma
-
- 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 2011
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