15-399/80-317/80-617 Constructive Logic Spring 2005
Homework Policies
All work must be solely your own, and cannot be copied from any other
person or source.
Homework counts for 50% of your final grade. Any extra credit is
recorded "off books" and is used when assigning letter
grades.
Please submit all Tutch assignments using the electronic
submission procedure.
All written work is to be submitted at your recitation
section.
There will be one assignment per week.
The written work must be typeset. Typesetting proofs can be tricky.
One possible way to do this is to use the LaTeX proof.sty package.
An example of its use can be found here.