15-399, 80-317/617
Constructive Logic
Assignments

There are a total of 10 homework assignments, worth 100 points each.
Some assignments may offer additional problems for extra credit, which is recorded separately.
Extra credit will be considered when determining midterm and final grades for borderline cases.
Assignments generally are given out Monday in lecture and are due the following Monday.
Homeworks may require use of the course software, or simply a write-up with pencil and paper.
Machine-checked assignment must be submitted via the course software before the start of lecture on the due date.
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	Due	Solutions

Sep 5	Assignment 1	Mon Sep 17	Model Solution
Sep 17	Assignment 2 (extra credit)	Mon Sep 24	Model Solution
Sep 24	Assignment 3 (extra credit)	Mon Oct 1	Model Solution
Oct 1	Assignment 4 (extra credit)	Mon Oct 8	Model Solution
Oct 15	Assignment 5	Wed Oct 25	Model Solution
Oct 24	Assignment 5 - extra credit	Mon Oct 29	Model Solution
Oct 29	Assignment 6	Mon Nov 5	Model Solution
Nov 5	Assignment 6 - extra credit	Mon Nov 12
Nov 12	Assignment 7	Mon Nov 19	Model Solution
Nov 19	Assignment 8	Mon Nov 26	Model Solution
Nov 26	Assignment 9	Mon Dec 3	Model Solution
Dec 3	Assignment 10	Mon Dec 10	Model Solution