Logik in der Informatik
Prof. Dr. Martin Grohe
Humboldt-Logo
Institut für Informatik

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


Last modified: Fri Nov 18 15:47:45 CET 2005
Martin Grohe
Valid HTML 4.01!