
15317 Constructive Logic

Date  Lecture or Recitation  Additional Material  Homework Out/Due  



Mon  Aug  26  Overview  
Tue  Aug  27  Recitation  tutch examples more examples  
Wed  Aug  28  Natural Deduction  
Fri  Aug  30  Homework 1 Out  


Mon  Sep  2  Labor Day Holiday  
Tue  Sep  3  Recitation  
Wed  Sep  4  Harmony  
Fri  Sep  6  Homework 1 Due  
Homework 2 Out  


Mon  Sep  9  Proofs as Programs  
Tue  Sep  10  Recitation  
Wed  Sep  11  Verifications  
Fri  Sep  13  Homework 2 Due  
Homework 3 Out  


Mon  Sep  16  Quantification  
Tue  Sep  17  Recitation  quantifiers.tut  
Wed  Sep  18  
Fri  Sep  20  Homework 3 Due  
Homework 4 Out  


Mon  Sep  23  Heyting Arithmetic  
Tue  Sep  24  Recitation  
Wed  Sep  25  Sequent Calculus  
Fri  Sep  27  Homework 4 Due  
Homework 5 Out  


Mon  Sep  30  Midterm I  practice midterm 1 practice midterm 2  
Tue  Oct  1  Recitation  
Wed  Oct  2  Cut Elimination  
Fri  Oct  4  Homework 5 Due  
Homework 6 Out  


Mon  Oct  7  Classical Logic  
Tue  Oct  8  Recitation  
Wed  Oct  9  Propositional Theorem Proving  
Fri  Oct  11  Homework 6 Due  
Homework 7 Out  


Mon  Oct  14  Inversion  
Tue  Oct  15  Recitation  
Wed  Oct  16  Certifying Theorem Provers  
Fri  Oct  18  Homework 7 Due  
Homework 8 Out  


Mon  Oct  21  Logic Programming  
Tue  Oct  22  Recitation  
Wed  Oct  23  Prolog  examples  
Fri  Oct  25  Homework 8 Due  
Homework 9 Out  


Mon  Oct  28  Backward Chaining  metainterpreter  
Tue  Oct  29  Recitation  
Wed  Oct  30  Forward Chaining  
Fri  Nov  1  Homework 9 Due  
Homework 10 Out  


Mon  Nov  4  Focusing  rule summary  
Tue  Nov  5  Recitation  
Wed  Nov  6  Midterm II  practice midterm  


Mon  Nov  11  Substructural Deduction  notes on linear logic  
Tue  Nov  12  Recitation  
Wed  Nov  13  Ordered Logic  
Fri  Nov  15  Homework 10 Due  
Homework 11 Out  


Mon  Nov  18  Modal Logic  further reading  
Tue  Nov  19  Recitation  
Wed  Nov  20  Subsingleton Logic  


Mon  Nov  25  Ordered Proofs as Concurrent Programs (not covered)  Homework 11 Due  
Tue  Nov  26  No Recitation  
Wed  Nov  27  Day before Thanksgiving (no class)  
Fri  Nov  29  Day after Thanksgiving  Homework 12 Out  


Mon  Dec  2  Edinburgh Logical Framework (LF)  
Tue  Dec  3  Recitation  
Wed  Dec  4  LF  
Fri  Dec  6  Homework 12 Due  




Mon  Dec  9  Final 5:30pm8:30pm, WEH 7500  practice 
[ Home  Schedule  Assignments  Software ]
ssomayya@cs
Siva Somayyajula