
15317 Constructive Logic

Out  Assignment  Due  Solutions  



Wed Aug 30  Homework 0: Say Hi to Logic (PDF only)  Thu Sep 7  sample solution  
Tue Sep 5  Homework 1: Natural Deduction and Constructivity (PDF only)  Tue Sep 12  sample solution Tutch  
Tue Sep 12  Homework 2: Proof Terms and Harmony (PDF only)  Tue Sep 19  sample solution Tutch  
Tue Sep 19  Homework 3: Verification and Quantification (PDF only)  Tue Sep 26  sample solution Tutch  
Tue Oct 3  Homework 4: Sequent Calculus (PDF only)  Tue Oct 10  
Tue Oct 10  Homework 5: Computing Proofs (PDF only)  Thu Oct 19  
Tue Oct 17  Homework 6  Tue Oct 24  
Tue Oct 24  Homework 7  Tue Oct 31  
Tue Oct 31  Homework 8  Thu Nov 7  
Tue Nov 14  Homework 9  Tue Nov 21  
Tue Nov 28  Homework 10  Thu Dec 5 
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 noone 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 ]
fp@cs
Frank Pfenning