CIS 301. Logical Foundations of Programming, Spring 2003

We covered the following material

Barwise & Etchemendy

Sections 1.1-1.6
Sections 2.1-2.5
Sections 3.1-3.7
Sections 4.1-4.6
Chapter 5
Chapter 6
Sections 7.1, 7.2, 7.4
Chapter 8 (except for the proof of the Soundness Theorem on p.215)
Sections 9.1-9.5, 9.7
Chapter 10
Sections 11.1-11.6
Sections 12.1-12.4
Sections 13.1-13.4
Sections 16.1, 16.3, 16.5

Notes on Induction on Natural Numbers and on Lists

Lecture Notes on Program Verification