CP's Teaching Page
Selected Lectures, Seminars, Tutorials
WS 2013/4: Tutorial (2h/week): Introduction to Logic and Set Theory
SS 2005: Seminar (3h/week): Mathematical Assistant Systems Shootout
WS 2004/5: Lecture Course (4+2h/week): Mathematical Assistant Systems
SS 2004: Seminar (3h/week): Proof Planning
WS 2003/4: Lecture Course (4h/week): Human-Oriented Theorem Proving
SS 2003: Lecture Course (4h/week): AI
SS 2002:
Einführung in die Informatik für Hörer aller Fakultäten I
WS 1996/7: Tutorial (2h/week): Efficient Algorithms
