|
15-317 Constructive Logic
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Out | Assignment | Due | ||
|---|---|---|---|---|
| Thu Jan 20 | Homework 1: Say Hi to Logic (PDF only) | Thu Jan 27 | ||
| Thu Jan 27 | Homework 2: Constructivity and Harmony (PDF only) | Thu Feb 3 | ||
| Thu Feb 3 | Homework 3: Proof Terms and Verifications (PDF only) | Thu Feb 10 | ||
| Thu Feb 10 | Homework 4: Quantification and Arithmetic (PDF only) | Thu Feb 17 | ||
| Thu Feb 17 | Homework 5: Sequent Calculus and Cut Elimination (PDF only) | Sat Feb 26 | ||
| Thu Feb 24 | Homework 6: Classical Logic and Type Checking (PDF only) | Sat Mar 5 | ||
| Thu Mar 3 | Homework 7: Theorem Proving (PDF only) | Fri Mar 18 | ||
| Thu Mar 17 | Homework 8: Prolog (PDF only) | Thu Mar 24 | ||
| Thu Mar 24 | Homework 9: Implementing Prolog (PDF only) | Thu Mar 31 | ||
| Thu Mar 31 | Homework 10: Focusing and Chaining (PDF only) | Thu Apr 14 | ||
| Thu Apr 14 | Homework 11: Modal and Substructural Logics (PDF only) | Thu Apr 28 | ||
All assignments in this course are individual assignments. All work you hand in on assignments must be your own. You should not copy any part of any other person's solution, nor look at any solutions 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 always permissible to clarify vague points in assignments, discuss course material from notes or lectures, and to give help or receive help in using the course software such as proof checkers or compilers.
[ Home | Schedule | Assignments | Software ]