Peter Baumgartner

Teaching

Logic Summer School, Canberra, December 2011

COMP6463 - Overview of Logic and Computation, ANU, October 2011

• Slides, as presented in class (PDF), Lecture notes (PDF) (Same contents as slides but differently formatted) same contents as slides used in class

• Assignment, due November 23, 2011 (PDF)
• Some sample proof problems presented in class
  • Three-coloring problem instance
  • Three-coloring problem - (dis)prove of functional dependency
• Automated theorem proving software:
  • SPASS, a state-of-the-art theorem theorem prover for first-order logic
  • Otter,somewhat outdated but well usable and documented (caution: otter does not accept .p files)
  • E-Darwin - A Theorem Prover for the Model Evolution Calculus
  • TPTP, a problem library for automated theorem proving

WS 2004/2005

SS 2004

WS 2003/2004

WS 2002

SS 2002

WS 2001/2002

SS 2001

• Informatik II.
  "Introduction to Computer Science"
  Introductory level course to be given in the summer term 2001 at the University of Giessen (in German).
• Projektarbeiten im Fortgeschrittenen-Praktikum Informatik
  (Universität Giessen)

WS 2000/2001

• Einführung in die Informatik für IM I.
  "Introduction to Computer Science for Information Managers".
  Introductory level course given in the winter term 2000/2001 at the University of Koblenz (in German).
• Informatik III.
  "Introduction to Computer Science."
  Introductory level course given in the winter term 2000/2001 at the University of Giessen (in German).

SS 2000 and before

• Verifikation Verteilter Systeme.
  "Verification of distributed systems." Graguate-level course given in the summer term 2000 at the University of Koblenz (in German).
• Software Verification.
  Graguate-level course given in the fall term 1998 at the University of New Brunswick, Frederiction, New Brunswick, Canada.

Material on other lectures I gave on logic and/or knowledge representation are available on request.