15-317 Constructive Logic
|Fri Aug 30||Homework 1: Say Hi to Logic (PDF only)||Fri Sep 6||sample solution|
|Fri Sep 6||Homework 2: Tutch, Constructivity & Harmony! (PDF only)||Fri Sep 13||sample solution|
|Fri Sep 13||Homework 3: Proof Terms, Verification and Quantification (PDF only)||Fri Sep 20||sample solution|
|Fri Sep 20||Homework 4: Quantification and Arithmetic (PDF only)||Fri Sep 27||sample solution|
|Fri Sep 27||Homework 5: Sequent Calculus (PDF only)||Fri Oct 4||sample solution|
|Fri Oct 4||Homework 6: Admissibility and Derivability (PDF only)||Fri Oct 11||sample solution|
|Fri Oct 11||Homework 7: Classical Logic (PDF only)||Fri Oct 18|
|Fri Oct 18||Homework 8: Computing proofs (PDF only)||Fri Oct 25|
|Fri Oct 25||Homework 9||Fri Nov 1|
|Fri Nov 1||Homework 10||Fri Nov 15|
|Fri Nov 15||Homework 11||Mon Nov 25|
|Mon Nov 25||Homework 12||Fri Dec 6|
All assignments in this course are individual assignments. The work must be your own. Do not copy any parts of the solution from anyone, and do not look at other students' solutions. Do not make any parts of your solutions available to anyone and make sure no one else can read your files. We will rigorously apply the university policy on academic integrity and plagiarism.
We may modify this policy on some specific assignments. If so, it will be clearly stated in the assignment.
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