Assignments are given and due weekly until the midsemester break. Note that they are due at the beginning of class so I can discuss questions regarding the homework during lecture time.
After the midsemester break, emphasis will be on the implementation projects with weekly reports due by each group.
I do not ask that you use LaTeX to typeset your solutions. If you choose to do so, you might find the LaTeX macros for typesetting deductions (proof.sty) helpful.
| Assignment | Due Date | Code | Sample Solutions | |
|---|---|---|---|---|
| 1 | Natural Deduction and Proof Terms | Fri Sep 3 | natded (.tgz) | |
| 2 | Reduction and Normal Forms | Fri Sep 10 | ||
| 3 | Implementing Sequent Calculus | Fri Sep 17 | ||
| 4 | Implementing a Decision Procedure | Fri Sep 24 | focus (.tgz) | |
| 5 | Unification with Parameter Restrictions | Mon Oct 4 | unif (.tgz) |