Home
Schedule
Assignments
Software
Logics
 
 

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.
Out Assignment   Due
Wed Aug 27 Homework 1: Say Hi to Logic (PDF only)   Wed Sep 3  
Wed Sep 3 Homework 2: Harmony (PDF only)   Wed Sep 10  
Wed Sep 10 Homework 3: Proof Terms and Verifications & Uses (PDF only)   Wed Sep 17  
Wed Sep 17 Homework 4: Quantifiers and Arithmetic (PDF only)   Wed Sep 24  
Thu Sep 25 Homework 5: Sequent Calculus (PDF only)   Wed Oct 1  
Wed Oct 1 Homework 6: Cut Admissibility (PDF only)   Wed Oct 8  
Wed Oct 8 Homework 7: Theorem Proving (PDF only)   Wed Oct 22  
Wed Oct 22 Homework 8: Inversion and Classical Logic (PDF only)   Wed Oct 29  
Wed Oct 29 Homework 9: Prolog (PDF only)   Wed Nov 5  
Wed Nov 5 Homework 10: Linear Logic (PDF only)   Wed Nov 12  
Wed Nov 12 Homework 11: Focused and Linear Logic (PDF only)   Wed Nov 19  
Wed Nov 19 Homework 12: Modal Logic (PDF only)   Wed Dec 3  

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 ]