15-317 Constructive Logic
Assignments

• Homeworks may require use of the course software, or simply a write-up with pencil and paper or LaTeX.
• Homework assignments must be submitted via Gradescope by 11:59 pm on the due date.
• You have up to 3 late days to use throughout the semester, with at most 1 late day on any single assignment.
• We will do our best to return graded homework within one week of its due date.
• For typesetting derivations in LaTeX, we use proof.sty.
• Assignments will be posted here as they become available.

All assignments in the course are individual assignments. All work you hand in on assignments must be your own work. You should not examine or copy any other person's solution. You should not discuss any homework solution with anyone else until after the due date (including late days). You must not make your solution available to any other student, in whole or in part. It is your responsibility to ensure that others cannot read your files.

The homework assignments and their associated support files are copyrighted material, and must not be uploaded to any web site (other than Gradescope for turn-in). If you happen to discover any Constructive Logic homework solutions, for this semester or any preceding instance, you must report your discovery to the instructor.

It is permissible, and indeed you are encouraged, to discuss the course content with other students, including the concepts that underlie a homework problem. But you must stop short of discussing the homework problem itself.

[ Home | Schedule | Assignments | Software ]