Home
Schedule
Assignments
Software
 
Piazza
Autolab
Gradescope
 
ssomayya@cs
Siva Somayyajula

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 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 meta-interpreter
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:30pm-8:30pm, WEH 7500 practice

[ Home | Schedule | Assignments | Software ]

ssomayya@cs
Siva Somayyajula