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)|