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.

Lehrveranstaltunge ab Wintersemester 2010/11

Ab dem Wintersemester 2010/2011 finden Sie die Seiten der Lehrveranstaltungen unter

http://apache.cs.uni-potsdam.de/profs/ifi/theorie/lehre

.

Lehrveranstaltungen im Sommersemester 2010

• Theoretische Informatik II
• Seminar Kategorientheorie
• Scientific Speaking, Reading, Writing, and Presentation Skills for Computer Scientists

Lehrveranstaltungen im Wintersemester 2009/2010

• Theoretische Informatik I
• Kryptographie und Komplexität
• Seminar Kolmogorovkomplexität

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

• Theoretische Informatik I
• Automatisierte Logik und Programmierung I
• Seminar Theoretische Informatik

Lehrveranstaltungen im Sommersemester 2008

• Theoretische Informatik II

Lehrveranstaltungen im Wintersemester 2007/2008

• Theoretische Informatik I
• Kryptographie und Komplexität

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

• Theoretische Informatik I
• Inferenzmethoden
• Seminar Kryptographie und Datensicherheit

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

• Theoretische Informatik I
• Automatisierte Logik und Programmierung I
• Proseminar Quantum Computing

Lehrveranstaltungen im Sommersemester 2005

• Theoretische Informatik II
• Fuzzy Logik
• Seminar Inferenzmethoden
• Seminar Kryptographie und Datensicherheit
• Proseminar Artificial Intelligence

Lehrveranstaltungen im Wintersemester 2004/2005

• Theoretische Informatik I
• Inferenzmethoden
• Proseminar Kryptographie und Datensicherheit

Lehrveranstaltungen im Sommersemester 2004

• Theoretische Informatik I
• Automatisierte Logik und Programmierung II
• Seminar Kategorientheorie
• Lehramtssvorlesung Informatik

Lehrveranstaltungen im Wintersemester 2003/2004

• Theoretische Informatik II
• Proseminar Logik
• Automatisierte Logik und Programmierung I
• Übersichtsvorlesung Informatik