Lehrangebot in der Theoretischen Informatik
Neben den Grundstudiumsveranstaltungen bietet das Lehrgebiet Theoretische Informatik zur Zeit vor allem Veranstaltungen zu Grundlagen und Anwendungen von Logik und Automatischem Theorembeweisen an.
Für einige Lehrveranstaltungen sind Skripten auf den Servern des Instituts für Informatik hinterlegt. Auf Skripten zu gegenwärtig laufenden Lehrveranstaltungen wird auch bei der jeweiligen Ankündigung verwiesen.
Lehrveranstaltungen im Wintersemester 2009/2010
- Theoretische Informatik I
- Kryptographie und Komplexität
- Seminar Kolmogorovkomplexität
- Lehrstuhlkolloquium Theoretische Informatik
Lehrveranstaltungen im Sommersemester 2009
- Theoretische Informatik II
- Automatisierte Logik und Programmierung II
- Proseminar Kryptographie
- Scientific Speaking, Reading, Writing, and Presentation Skills for Computer Scientists
Lehrveranstaltungen im Wintersemester 2008/2009
Lehrveranstaltungen im Sommersemester 2008
Lehrveranstaltungen im Wintersemester 2007/2008
Lehrveranstaltungen im Sommersemester 2007
- Theoretische Informatik II
- Scientific Speaking, Reading, Writing, and Presentation Skills for Computer Scientists
- Seminar Automatisches Beweisen in der Aussagenlogik
Lehrveranstaltungen im Wintersemester 2006/2007
Lehrveranstaltungen im Sommersemester 2006
- Theoretische Informatik II
- Automatisierte Logik und Programmierung II
- Proseminar Cryptography
- Seminar Semantik von intuitionistischen und klassischen Beweisen
Lehrveranstaltungen im Wintersemester 2005/2006
Lehrveranstaltungen im Sommersemester 2005
- Theoretische Informatik II
- Fuzzy Logik
- Seminar Inferenzmethoden
- Seminar Kryptographie und Datensicherheit
- Proseminar Artificial Intelligence
Lehrveranstaltungen im Wintersemester 2004/2005
Lehrveranstaltungen im Sommersemester 2004
- Theoretische Informatik I
- Automatisierte Logik und Programmierung II
- Seminar Kategorientheorie
- Lehramtssvorlesung Informatik
