
15317 Constructive Logic

Out  Assignment  Due  Solutions  



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
[ Home  Schedule  Assignments  Software ]
ssomayya@cs
Siva Somayyajula