Special Topics on Applied Mathematical Logic


Spring 2012

Introduction Announcements Lectures Readings Administrations Links


Slides
Assignments




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 --- ---