Date |
Notes / Slides |
Assignments |
Solutions |
02/20 |
Introduction (slides1,
slides2) |
--- |
--- |
02/27 |
Sentential Logic (slides) |
--- |
--- |
03/05 |
Sentential Logic |
--- |
--- |
03/12 |
First-Order Logic - Syntax (slides) |
Homework 1
(PDF) |
Solution 1
(PDF) |
03/19 |
First-Order Logic - Semantics (slides)
(slide 25 added on 3/20) |
Homework 2
(PDF) |
Solution 2
(PDF) |
03/26 |
First-Order Logic - Deduction (slides) |
--- |
--- |
04/02 |
First-Order Logic - Soundness/Completeness, Compactness
(slides) |
Homework 3
(PDF) |
Solution 3
(PDF) |
04/09 |
First-Order Logic - Models of Theories (slides) |
Homework 4
(PDF) |
Solution 4
(PDF) |
04/16 |
Midterm Exam |
--- |
--- |
04/23 |
Undecidability (slides) |
--- |
--- |
04/30 |
Natural Deduction (slides1,
slides2) |
Homework 5
(PDF) |
Solution 5
(PDF) |
05/07 |
Curry-Howard Isomorphism (slides); Normalization Theorem (slides) |
--- |
--- |
05/14 |
Sequent Calculus (slides); Strong Normalization Theorem (slides) |
Homework 6 |
--- |
05/21 |
Sums in Natural Deduction (slides) |
--- |
--- |
05/28 |
System F (slides) |
Homework 7 |
--- |
06/04 |
Cut Elimination (slides) |
--- |
--- |
06/11 |
Strong Normalization for F (slides) |
Homework 8 |
--- |
06/18 |
Project Presentation |
--- |
--- |