Automated Theorem Proving


  • Introduction
  • Propositional Logic

  • Programming as a Logical Paradigm:

    Additional Material

    Lecture notes: Introduction-to-ATP-Jebelean-5-Jun-2018.pdf.

    Suggested exercises: exercises.pdf.

    The contents of the lecture is very similar to the transcript by Martin Koehler of previous lectures: pdf file. (May contain some typos and small errors.)

    For more details (some of which are not covered in the lecture) I recommend: Bruno Buchberger: Logic for Computer Science pdf file. This material is copyrighted and is available only for the students of this lecture and only for the purpose of study related to it.

    The home pages of the similar lectures in Linz: Mathematical Logic, Computational Logic.