CSCE 330 Lecture Notes

  • Notes for Ch.1 (Introduction) (PowerPoint format)
  • Slides for Hector Levesque's Thinking as Computation (local copy)
  • Notes on induction and Prolog used on 2017-09-19
  • Notes on Syntax (PowerPoint format)