News
September 3: Prototypes
Prolog implementation for resolution added
September 3: Exams
1st exam plus solututions added, marks are available online
June 13: Lecture Notes
The lecture notes and additional material is online.
June 6: Lecture Notes
The chapter 'Towards Automated Reasoning for First-Order Logic' is online.
April 18: Literature
The reading material has been updated.
March 29: Lecture Notes
The lecture notes for "Computational Logic" have been re-formated and put online; the first chapter of the part on "Automated Theorem Proving" is also online.
February 26: Start of Lecture
Due to trips of the lecturer, the lecture (and the seminar) start only on March 22. The missed out time will be made up for during the term.
February 26: Homepage
The homepage has been updated and is online.