CSCE 330 Lecture Notes
Notes for Ch.1 (Introduction) (PowerPoint format)
Slides for Hector Levesque's
Thinking as Computation
(local copy)