Princeton University
Computer Science Dept.
Computer Science 496
Automated Theorem Proving
Andrew W. Appel
Spring 2001
Assignments
Assignment 1 : Propositional Logic and Introduction to Twelf
Assignment 2 (due Feb 21)
Assignment 3 (due Feb 28)
Assignment 4 (due March 7)
Assignment 5 (due March 14)
Assignment 6 (due Friday, March 30)
Assignment 7 (due Wednesday, April 4)
Assignment 8 (due
before
Wednesday, April 11)
Assignment 9 (due Wednesday, April 18)
Assignment 10 (due April 27)
