Princeton University
Computer Science Department

Computer Science 598A
Automated Theorem Proving

Andrew Appel

Assignments
Spring 2003

General Information | Schedule | Assignments | Announcements
Submit all assignments through the web site. However, some assignments (especially the first few) have handwritten components that you should submit in class on the due date.

Assignment 1 (due Feb 10)
Assignment 2 (due Feb 17)
Assignment 3 (due Feb 24)
Assignment 4 (due March 3) Note: since I erroneously put a due date of March 10 on this originally, I am willing to accept it any time until March 10; but turn it in earlier if you can.
Assignment 5 (due March 10)
Assignment 6 (due March 24)
Assignment 7 (due March 31)
Assignment 9 (due April 14)
Assignment 8 (due April 21)
Assignment 10 (due April 28)
Assignment 11 (due May 14)