Peter Baumgartner

Teaching

Logic Summer School, Canberra, December 2019

• Slides
• Beagle theorem prover
• Beagle input files for problems presented in class
• A stock emacs package for displaying latex symbols as unicode symbols is here: latex-pretty-symbols.el

COMP4630 - Overview of Logic and Computation, ANU, August 2019

• Slides 'First-Order Logic' - Version 3 of 5/8/2019
  Minor corrections and clarifications
• Slides 'First-Order Logic' - Version 2 of 4/8/2019
  Added a slide on "monkeys and bananas"
• Slides 'First-Order Logic' - Version 1

Logic Summer School, Canberra, December 2018

Logic Summer School, Canberra, December 2017

COMP4640 - Overview of Logic and Computation, ANU, July/August 2015

Logic Summer School, Canberra, December 2013

COMP6463 - Overview of Logic and Computation, ANU, August 2013

COMP6463 - Overview of Logic and Computation, ANU, August 2012

• Slides, as presented in class (PDF),
• Handout (PDF) (Same contents as slides but formatted more economically, for printing)
• Supplementary notes, as written on the whiteboard during class. Last update on 24/08/2012.

  Big thanks to Joseph Chan for typesetting these notes from my hand written script!

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

• 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.