15-816 Linear Logic

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

Sep 20 Exercises 2.1, 2.6, 2.9 lnd.pdf, p. 26ff   Thu Sep 27
Sep 27 Exercises 3.1, 3.2 seq.pdf, p. 54   Thu Oct 4
Oct 4 Exercises 3.4, 3.5 picalc.pdf, p. 62   Thu Oct 11
Oct 25 Project Proposal (2pp.) suggestions   Thu Nov 1
Nov 1 Exercises 5.1, 5.5, 5.6 logcomp.pdf, p. 107f   Thu Nov 8
Nov 8 Exercises 6.14, 6.20 hw6.pdf, p. 134f   Thu Nov 15

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

Frank Pfenning