Lehre
Aktuelle Veranstaltungen (SS 2013)
Frühere Veranstaltungen
- Seminar Logik, Komplexität, Spiele: Endliche Modelltheorie (WS 2012/13)
- Mathematische Logik II (WS 2012/13)
- Mathematische Logik (C. Löding) (SS 2012)
- Algorithmische Modelltheorie (WS 2011/12)
- Seminar Logik, Komplexität, Spiele: Automatische Strukturen (WS 2011/12)
- Mathematische Logik (SS 2011)
- Logik und Spiele (SS 2011)
- Seminar Logik, Komplexität, Spiele: Algorithmische Aspekte der Paritätsspiele (SS 2011)
- Mathematische Logik II (WS 2010/11) Studentische Bewertung
- Seminar Logik, Komplexität, Spiele: Bewachte Logiken (WS 2010/11)
- Seminar Logik, Komplexität, Spiele: Strukturkomplexität von Graphen und Graph Searching Games (SS 2010)
- Algorithmische Modelltheorie (SS 2010)
- Mathematische Logik (SS 2010) Studentische Bewertung
- Komplexitätstheorie und Quantum Computing (WS 2009/10) Studentische Bewertung
- Seminar Logik, Komplexität, Spiele: Moderne Lösungskonzepte in der Spieltheorie (WS 2009/10)
- Logik und Spiele (SS 2009) Studentische Bewertung
- Mathematische Logik (SS 2009) Studentische Bewertung
- Seminar Logik, Komplexität, Spiele: Fixpunktlogiken (SS 2009) Studentische Bewertung
- Mathematische Logik II (WS 2008/09) Studentische Bewertung
- Seminar Logik, Komplexität, Spiele: Logik und (Un)Abhängigkeit (WS 2008/09)
- Algorithmische Modelltheorie (SS 2008)
- Mathematische Logik (SS 2008)
- Seminar 0-1-Gesetze in der Mathematischen Logik (SS 2008)
- 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