15-816 Substructural Logics
Assignments

• Assignments generally are given out Thursday and are due the following Thursday
• Assignments 1-5 are individual assignments. They must represent your own work. You may consult any publicly available resources such as papers, reports, or lecture notes, but you must explicitly credit such external resources in your answers. Carnegie Mellon's policy on academic integrity applies to this course.
• Assignments 6 and later may be done in pairs or individually.
• Homeworks may require an implementation, or simply a write-up with LaTeX or with pencil and paper.
• If you want to typeset your answers, some sample LaTeX lecture notes and necessary style file will be posted in the misc/latex/ directory.
• 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 due at the beginning of lecture on the due date. They should be handed in before lecture or submitted as PDFs via email to the instructor.
• We will try our best to return graded homework during the lecture following the due date.

[ Home | Schedule | Assignments | Resources ]

fp@cs
Frank Pfenning