Lehrveranstaltungen im Wintersemester 2005/06
- Vorlesung Theoretische Informatik I
- Prof. Dr. Martin Grohe
- Dienstags und Donnerstags 9-11 im Schrödinger Zentrum
(Rudower Chaussee 26), Saal 0'115
-
- Vorlesung Logik in der Informatik
- Prof. Dr. Martin Grohe
- Vorlesung Dienstags und Donnerstags 13-15 im Schrödinger Zentrum
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
- Übungen Dienstags 11-13
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307
-
- Vorlesung SAT-Solving und Constraint Satisfaction Probleme
- Prof. Dr. Stephan Kreutzer
- Vorlesung Dienstags und Donnerstags 9-11
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
- Übungen Donnerstags 11-13
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
-
- Seminar Kommunikationskomplexität
- Prof. Dr. Nicole Schweikardt
- Dienstags 15-17
im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
-
- Seminar Endliche Modelltheorie
- Prof. Dr. Nicole Schweikardt
und
Prof. Dr. Stephan Kreutzer
- Blockveranstaltung
- Vorbesprechung in der ersten Semesterwoche
-
- 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 2005
Wintersemester 2004/05
Sommersemester 2004
Wintersemester 2003/04
