Assignment 1: Propositional Logic; Due: 9/2/07
Assignment 2: Predicate Logic; Due: 9/17/07
Assignment 3: Resolution Theorem Proving; Due: 9/26/07
Assignment 4: Database Programming; Due: 10/3/07
Assignment 5: Recursive Programming; Due: 10/17/07
Assignment 6: Arithmetic; Structures; Cuts; Due: 10/24/07
Assignment 7: Non Deterministic Programming; Due: 11/14/07
Assignment 8: CLP(FD); Due: 11/21/07
Take Home Final: Due: 12/03/07 (firm). Solve problems 1, 2, 3, 6; You can discuss the nature of the
solutions with your classmates, but all programming should be done solo without
any help. Honor code applies, as it does to all assignments. Alternatively, you can solve any 4 problems from the
2006 competition.
DCG Homework click here