COMP 426 Automated Reasoning
Assignments

Assignments generally are given out Thursday in lecture and are due the following Thursday.
Homeworks may require an implementation or simply a write-up with pencil and paper.
If you want to typeset your answers, we recommend proof.sty, a collection of LaTeX macros for type-setting deductions.
Emphasis is on correctness and elegance. Some assignments may be very difficult. If you cannot do them, write down your thoughts, but never hand back an incorrect ``proof''.
Written homeworks are to be handed in at the beginning of lecture on the due date.
We will try our best to return graded homework during the lecture following the due date.
Electronic handin instructions:
All code files must be electronically submitted before class on the day when the assignment is due. Files are to be submitted using the 'handin' facility. Please submit the files for an assignment in the correct subdirectory. For example code for assignment 2 will be submitted in the subdirectory labeled 'ass02'.
Please refer to the 'handin' instructions page if you have never used 'handin' before.