Back to Teaching Page

Automated Theorem Proving

You have to subscribe on Google Classroom.

Seminars

The seminar meetings are scheduled in room 048 on Thursday, 18:00 - 19:30 with AIDC on odd weeks.
On Google Classroom you will upload your homework given at the seminars.
  1. Seminar 1
  2. Seminar 2
  3. Seminar 3
  4. Seminar 4
  5. Seminar 5
  6. Seminar 6
  7. Seminar 7

Bibliography

  1. Tudor Jebelean. Automatic Theorem Proving. Lecture Notes (online)
  2. Bruno Buchberger. Logic for Computer Science. Lecture Notes (online)
  3. Chin-Liang Chang, Richard Char-Tung Leel. Symbolic Logic and Mechanica Theorem Proving. Academic Preess, 1973.
  4. Jean Gallier. Logic for Computer Science. Foundations of Automatic Theorem Proving.