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)
  • Notes by Robert Sebesta for Syntax, Axiomatic Semantics, and Denotational Semantics (ppt format)
  • Notes on Denotational Semantics (pdf format), used on 2022-11-01.
  • Example of Use of Denotational Semantics (pdf format), used on 2022-11-01.
  • Slides for Graham Hutton's _Programming in Haskell_ (local copy):