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 2020/21
- Formale Grundlagen der Informatik
- Theoretische Informatik I: Modellierungskonzepte - Automaten und Formale Sprachen
- Inferenz-Methoden
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2020
Lehrveranstaltungen im Wintersemester 2019/20
- Theoretische Informatik I: Modellierungskonzepte - Automaten und Formale Sprachen
- Kryptographie und Komplexität
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2019
- Theoretische Informatik II: Effiziente Algorithmen
- Automatisierte Logik und Programmierung I: Formale Kalküle und Beweissysteme
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2018/19
- Theoretische Informatik I: Automaten und formale Sprachen
- Advanced topics in cryptography and security
- Kategorientheorie und Logik
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2018
- Theoretische Informatik II: Effiziente Algorithmen
- Inferenz-Methoden
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2017/18
- Theoretische Informatik I: Modellierungskonzepte - Automaten und Formale Sprachen
- Kryptographie und Komplexität
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2017
- Theoretische Informatik II: Effiziente Algorithmen
- Automatisierte Logik und Programmierung II; Beweisautomatisierung und Programmsynthese
- Beweisen lernen mithilfe des Beweisassistenten Coq
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2016/2017
- Theoretische Informatik I - Modellierungskonzepte - Automaten und formale Sprachen
- Automatisierte Logik und Programmierung - Formale Kalküle und Beweissysteme
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2016
Lehrveranstaltungen im Wintersemester 2015/2016
- Theoretische Informatik I - Modellierungskonzepte - Automaten und formale Sprachen
- Kryptographie und Komplexität
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2015
- Theoretische Informatik II - Effiziente Algorithmen
- Inferenz-Methoden
- Kategorientheorie und Typen
- Seminar Theoretische Informatik - Geschichte der Logik
- ATP Construction Project
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2014/2015
- Theoretische Informatik I - Modellierungskonzepte - Automaten und formale Sprachen
- Kryptographie und Komplexität
- Seminar Theoretische Informatik - Methoden des automatischen Theorembeweisens
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2014
- Theoretische Grundlagen der Informatik - Effiziente Algorithmen
- Automatisierte Logik und Programmierung II - Beweisautomatisierung und Programmsynthese
- Seminar Theoretische Informatik - Funktionale Programmierung mit Haskell
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2013/2014
- Theoretische Informatik I - Modellierungskonzepte - Automaten und formale Sprachen
- Automatisierte Logik und Programmierung - Formale Kalküle und Beweise
- Grenzen der Mathematik
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2013
- Theoretische Informatik II
- Critical Thinking - Logik und Argumentation
- Seminar Theoretische Informatik - Funktionale Programmierung
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2012/2013
- Theoretische Informatik I - Automaten und formale Sprachen
- Kryptographie und Komplexität
- Cartesisches Seminar
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2012
Lehrveranstaltungen im Wintersemester 2011/2012
- Theoretische Informatik I - Automaten und formale Sprachen
- Kategorientheorie und Logik
- Methoden des wissenschaftlichen Arbeitens
- Seminar Theoretische Informatik - Logik und Berechenbarkeit
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2011
- Theoretische Informatik II
- Scientific Speaking, Reading, Writing, and Presentation Skills for Computer Scientists
- Seminar Theoretische Informatik - Rekursionstheorie
- Theorie-Kolloquium
Lehrveranstaltungen im Wintersemester 2010/2011
- Theoretische Informatik I
- Inferenzmethoden
- Seminar Sicherheit und Zuverlässigkeit
- Theorie-Kolloquium
Lehrveranstaltungen im Sommersemester 2010
- Theoretische Informatik II
- Seminar Kategorientheorie
- Scientific Speaking, Reading, Writing, and Presentation Skills for Computer Scientists
Lehrveranstaltungen im Wintersemester 2009/2010
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
