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 28 Homework 1: Say Hi to Logic (PDF only)   Wed Sep 4  
Thu Sep 5 Homework 2: Harmony (PDF only)   Wed Sep 11  
Wed Sep 11 Homework 3: Proof Terms and Verifications & Uses (PDF only)   Wed Sep 18  
Wed Sep 18 Homework 4: Quantifiers and Arithmetic (PDF only)   Wed Sep 25  
Wed Sep 25 Homework 5: Sequent Calculus (PDF only)   Wed Oct 2 (Skip Task 5.)  
Wed Oct 2 Homework 6: Cut Admissibility (PDF only)   Wed Oct 9  
Wed Oct 9 Homework 7: Theorem Proving (PDF only)   Wed Oct 23  
Wed Oct 23 Homework 8: Inversion and Classical Logic (PDF only)   Wed Oct 30  
Wed Oct 30 Homework 9: Prolog (PDF only)   Wed Nov 6  
Wed Nov 6 Homework 10: Linear Logic (PDF only)   Wed Nov 13  
Wed Nov 13 Homework 11: Focused and Linear Logic (PDF only)   Wed Nov 20  
Tue Nov 19 Homework 12: Modal Logic (PDF only)   Tue Nov 26 (note unusual due date)  

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 ]