Syllabus

Class Schedule

Homework

Slides

Announcements 

Programs:

 Checker Engine

Checkers results

 Automated Theorem Prover

Prover part 1 results

By popular request, the test filesI used to test your theorem provers. Yes, they all should produce a contradiction.

 ID3 Learning Algorithm