15816 Linear Logic
Assignments
 Assignments generally are given out Thursday in lecture and are due the
following Thursday.
 Homeworks may require an implementation, or simply a writeup
with pencil and paper.
 If you want to typeset your answers, we recommend proof.sty, a
collection of LaTeX
macros for typesetting 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
]
fp@cs
Frank Pfenning
