|
15-317 Constructive Logic
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Out | Assignment | Due | ||
|---|---|---|---|---|
| |
||||
| Wed Sep 1 | Homework 1: Say Hi to Logic (PDF only) | Wed Sep 8 | ||
| Wed Sep 8 | Homework 2: Constructivity & Harmony! (PDF only) | Wed Sep 15 | ||
| Wed Sep 15 | Homework 3: Proof Terms, Verification and Quantification (PDF only) | Wed Sep 22 | ||
| Wed Sep 22 | Homework 4: Quantification and Arithmetic (PDF only) | Wed Sep 29 | ||
| Wed Oct 6 | Homework 5: Sequent Calculus (PDF only) | Wed Oct 13 | ||
| Wed Oct 13 | Homework 6: Cut Admissibility and Classical Logic (PDF only) | Wed Oct 20 | ||
| Wed Oct 20 | Homework 7: Theorem Proving (PDF only) | Wed Oct 27 | ||
| Wed Oct 27 | Homework 8: Theorem Proving and Prolog (PDF only) | Wed Nov 3 | ||
| Wed Nov 3 | Homework 9: Theorem Proving in Prolog (PDF only) | Wed Nov 10 | ||
| Thu Nov 11 | Homework 10: Focusing and Chaining (PDF only) | Wed Nov 17 | ||
| Wed Nov 17 | Homework 11: Linear and Modal Logic (PDF only) | Wed Dec 1 | ||
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.
All regrade requests will be processed through Gradescope. If we have made a mistake while grading a written problem, please explain thoroughly and we will be happy to fix the grading. Also use Gradescope to notify us in the unlikely event of an error in autograding.
For written problems, partial credit is already awarded. For coding problems with instant feedback, no partial credit will be awarded. For coding problems without instant feedback, you can receive up to 75% of the points back if you submit a regrade request explaining:
These requests should make it clear that you have correctly identified exactly where the error is. For a small-scale example, if you accidentally typed the wrong thing then you should clearly point out what the typo was, where it occurred, and what it should have been. It would not be sufficient to simply say there was a typo.
These partial credit regrades are allowed only for coding problems without instant feedback. They should be submitted as regrade requests in Gradescope.