CIS 301. Logical Foundations of Programming, Fall 2003

We have covered the following material:

Barwise & Etchemendy

Sections 1.1-1.5
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Sections 7.1, 7.2, 7.4
Sections 8.1, 8.2
Chapter 9
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

Lecture Notes on Logic for Security