15-851 Computation and Deduction
Assignments

• Assignments generally are given out Thursday in lecture and are due the following Thursday.
• Homeworks may require use of the Twelf system, 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.
• Elf code should be handed in electronically, following the submission instructions.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning