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 deductions 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 copy
any part of any other person's solution, nor look at any solution
before preparing your own. You must not make your solutions, in whole
or in part, available to any other student, and it is your
responsibility to ensure that others cannot read your files.
It is permissible to discuss assignment problems or other course
material in general terms, but such discussions must stop short of
discussing solutions to assignment problems.
[ Home
| Schedule
| Assignments
| Software
]
|