Home
Schedule
Assignments
Software
Logics
 
Course Profile
 
Piazza
Gradescope
 
  

15-317 Constructive Logic
Schedule

  • The class notes provide additional reading material.
    They complement, but do not replace the lecture.
  • The schedule is subject to change throughout the semester.
Date Lecture or Recitation    Additional Material    Homework Due/Out
Tue Jan 18 Overview Board notes from lecture  
Wed Jan 19 Recitation: Natural Deduction and Dcheck    
Thu Jan 20 Natural Deduction Board notes from lecture HW1 out
Tue Jan 25 Harmony Board notes from lecture  
Wed Jan 26 Recitation: Harmony Exercise Solutions  
Thu Jan 27 Proofs as Programs Board notes from lecture HW1 due, HW2 out
Tue Feb 1 Verifications and Uses Board notes from lecture  
Wed Feb 2 Recitation: Proof Terms and Verifications Exercise Solutions  
Thu Feb 3 Quantification Board notes from lecture HW2 due, HW3 out
Tue Feb 8 Heyting Arithmetic Board notes from lecture  
Wed Feb 9 Recitation: Quantification and Arithmetic Exercise Solutions  
Thu Feb 10 Sequent Calculus 1 Board notes from lecture HW3 due, HW4 out
Tue Feb 15 Sequent Calculus 2 Board notes from lecture  
Wed Feb 16 Recitation: Sequent Calculus    
Thu Feb 17 Cut Elimination Board notes from lecture HW4 due, HW5 out
Tue Feb 22 Midterm 1    
Wed Feb 23 Recitation: Midterm Review    
Thu Feb 24 Classical Logic Board notes from lecture HW6 out
Tue Mar 1 Propositional Theorem Proving Board notes from lecture  
Wed Mar 2 Recitation: Classical Logic and Theorem Proving Exercise Solutions  
Thu Mar 3 Inversion Board notes from lecture HW6 due, HW7 out
Tue Mar 8 Spring Break    
Wed Mar 9 Spring Break    
Thu Mar 10 Spring Break    
Tue Mar 15 Logic Programming Board notes from lecture
 
Wed Mar 16 Recitation: Prolog Basics Exercise Solutions
Prolog File 		 
Thu Mar 17 Prolog Board notes from lecture
Prolog files from lecture 		HW7 due, HW8 out
Tue Mar 22 Certifying Theorem Provers Board notes from lecture
 
Wed Mar 23 Recitation: Prolog Continued Exercise Solutions
Prolog File 		 
Thu Mar 24 Backward Chaining Board notes from lecture
Prolog files from lecture 		HW8 due, HW9 out
Tue Mar 29 Forward Chaining Board notes from lecture  
Wed Mar 30 Recitation: Chaining Exercise Solutions  
Thu Mar 31 Focusing   HW9 due, HW10 out
Tue Apr 5 Midterm 2    
Wed Apr 6 Recitation: Midterm Review    
Thu Apr 7 Carnival    
Tue Apr 12 Modal Logic Board notes from lecture
Additional reading of interest 		 
Wed Apr 13 Recitation: Modal Logic Exercise Solutions  
Thu Apr 14 Linear Logic Board notes from lecture HW10 due, HW11 out
Tue Apr 19 Ordered Logic Board notes from lecture  
Wed Apr 20 Recitation: Substructural Logic Exercise Solutions  
Thu Apr 21 Session Types 1 Board notes from lecture  
Tue Apr 26 Session Types 2 Board notes from lecture  
Wed Apr 27 Recitation: Session Types and Review Exercise Solutions  
Thu Apr 28 Asynchronous Communication Board notes from lecture
Further reading on Asynchrony 		HW11 due
Mon May 9 Final Exam (17:30-20:30, HOA 160)    

[ Home | Schedule | Assignments | Software ]