CIS 301. Logical Foundations of Programming, Fall 2006


We have covered the following material:

Barwise & Etchemendy
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Sections 7.1, 7.2, 7.4
Chapter 8 (except for the proof of the Soundness Theorem on p.215)
Chapter 9
Chapter 10
Sections 11.1-11.6
Chapter 12
Chapter 13
Sections 16.1, 16.3
Lecture Notes


Torben Amtoft