Picture of Claus-Peter Wirth

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

    picture of student

    PhD Theses

  • 2006: Dr. rer. nat. Tobias Schmidt-Samoa
  • 2000: Dr. rer. nat. Ulrich Kühler