CIS 301. Logical Foundations of Programming, Spring 2008
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