Lehre
Kommende Veranstaltungen (WS 2008/09)
Aktuelle Veranstaltungen (SS 2008)
Frühere Veranstaltungen
- Mathematische Logik (WS 2007/08)
- Logik und Spiele (SS 2007)
- Seminar Perlen der mathematischen Logik (SS 2007)
- Mathematische Logik (WS 2006/07)
- Quanten-Computer (WS 2006/07)
- Seminar Nebenläufige und stochastische Spiele (WS 2006/07)
- Komplexitätstheorie (SS 2006)
- Seminar Logik und dynamisches Wissen (SS 2006)
- Mathematische Logik II (SS 2005)
- Theorien, Spiele, Algorithmen (WS 2003/04)
- Endliche Modelltheorie (SS 2002)
- Games and Their Application in Computer Science (SS 2002)
- Entscheidbarkeit und Komplexität von Logikproblemen (SS 2001)
Regelmäßige Veranstaltungen
- Vorlesungen:
- Mathematische Logik (jährlich)
- Mathematische Logik II
- Logik und Spiele
- Algorithmische Modelltheorie
- Komplexitätstheorie
- Quanten-Computer
- Seminare über spezielle Aspekte der Forschungsschwerpunkte
- Arbeitsgemeinschaft Logik und Automaten
Vertiefungsgebiet Logik und Komplexität
- Mathematische Logik II
- Logik und Spiele
- Algorithmische Modelltheorie
- Komplexitätstheorie
- Quanten-Computer
- ggfs. weitere Vorlesungen aus dem Angebot des Lehrstuhls für Informatik 7