15-851 Computation and Deduction

  • 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.
Date Assignment Due Solutions

Jan 18 2.1, 2.13, 2.14   Thu Jan 25   Model Solution (PostScript)
Jan 25 2.17, 2.7, 2.8   Thu Feb 1  
Feb 6 2.12, 4.5, 5.9   Thu Feb 15  
Feb 22 5.11, 3.18   Thu Mar 1   linear (Model Solution to 5.11)
Mar 13 5.15   Thu Mar 22  

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

Frank Pfenning