Lecture Notes

  1. Introduction to Logic and Course Overview
  2. Propositional Logic
  3. Propositional Logic Proofs
  4. Boolean Ring Proof Procedure : Draft Notes : Final Draft
  5. Resolution Theorem Proving : Draft Notes : Final Draft
  6. Binary Decision Diagrams : Draft Notes : Final Draft
  7. Predicate Logic Syntax
  8. Logic Programming
  9. Prolog Programming
  10. Lists and Structural Recursion
  11. Built-in Functions in Prolog
  12. More Prolog Examples
  13. Equational Logic and Rewrite Systems
  14. Substitutions, Matching, Unification
  15. Unification Algorithm : Draft Notes : Final Draft
  16. Knuth-Bendix Completion Example : Draft Notes : Final Draft
  17. Revision for Quiz 1 (no lecture notes)
  18. Quiz 1 (solutions and marks on HomePage)
  19. Computing Normal Forms (Prolog and Java)
  20. Extra Logical Features in Prolog
  21. Term Rewriting Code
  22. Semantics of Predicate Logic
  23. Predicate Logic Semantics
  24. Translating to Predicate Logic : Draft Notes : Final Draft
  25. Pre-Nex Normal Forms and Skolemization : Draft Notes : More
  26. Resolution Theorem Proving for Predicate Logic : Final Draft
  27. SLD-Resolution for Prolog : Draft Notes : Final Draft - SLD-Resolution for Prolog and First Order Logic
  28. Modal Logic
  29. Kripke Structures and Semantics
  30. Kripke Structures and Semantics : Draft Notes : Final Draft
  31. Temporal Logic-1
  32. LTL Syntax and Semantics : Draft Notes : Final Draft
  33. CTL Syntax and Semantics : Draft Notes : Final Draft
  34. Mutual Exclusion Problem : Draft Notes : Final Notes
  35. CTL Model Checking

Local Copy of Related Notes from Other Universities