Midterm will be February 12

Date	Reading, Homework, Exams	Description
Jan. 9		Introduction
Jan. 10	WN: Wagner's Notes on Induction ( pdf version, ps version ) HN: Harper's Notes on Induction ( ps version) (Sect.2 is not optional) Handout - Ordered sets: Secs 2.1-2.4; 3. Homework Assignment on induction (due Tuesday, Jan 15) Lecture Slides	Induction techniques and their mathematical justification
Jan. 15		Induction
Jan. 17	Read:  van Dalen up to section 1.4 Homework #2 due on Thursday, January 24: - Section 1.1: -- Problems 1,2,3,7,9 - Section 1.2: -- Problems 1(h), 2(c) -- Prove Lemma 1.2.3 -- Understand and complete proof of Lemma 1.2.7 - Section 1.3: -- Problem 1(a) - Contraposition only -- Prove Lemma 1.3.3(a)	Propositional Logic: - language, - syntax - proof theory - semantics  - model theory
Jan. 22		Propositional Logic
Jan. 24	Notes from van Dalen Read:  van Dalen proof of Soundness and Completeness Homework #3 due on Thursday, January 31 - Assignment3.pdf	Proof systems: - Hilbert - Natural Deduction Natural Deduction and Meta-theory
Jan. 29	See definition of admissible and derivable
Jan. 31	Read: Wadler's paper, Proofs are Programs ( pdf file) Midterm Exam Review and Homework Review: Immediately after class, from 3:20pm-4:00pm	Curry Howard isomorphism
Feb. 5	Midterm Exam - Open Book and one page of notes
Feb. 7	Notes on lambda-calculus pdf file
Feb. 12	Read: van Dalen sections 2.1-2.4 Homework #4 due Thursday, February 14 - Assignment4.pdf
Feb. 14
Feb. 19
Feb. 21
Feb. 26
Feb. 28
March 4	Read: Paulson Notes on Logic - pdf file
Homework #6 due Thursday, March 20 - Assignment6.pdf Email Zena with a message indicating your presentation topic and desired day/time slot. Students who do not respond by Friday will be assigned a time slot by Zena.
March 6
March 11
March 13	Presentations
Thursday March 20	Final Exam - 1pm-3pm Open Book and one page of notes