CSE 541 - Lecture Notes

• Introduction (pdf, 4pp)
• Propositional Logic
  • Review (pdf, 21pp)
  • Davis-Putnam Method (pdf, 24pp)
  • Propositional Resolution (pdf, 3pp)
  • Natural Deduction (pdf, 9pp)
• Predicate logic
  • Syntax, Semantics, Entailment (pdf, 12pp)
  • Proofs, Equivalence, Prenex Forms, Skolemization (pdf, 9pp)
  • Herbrand Semantics (pdf, 10pp)
  • Unification (pdf, 11pp)
  • Resolution (pdf, 14pp)
  • Undecidability, Compactness (pdf, 12pp)
• Temporal Logic and Verification
  • Linear-Time Temporal Logic (pdf, 12pp)
  • Branching-Time Logics (pdf, 10pp)
  • Model Checking (pdf, 12pp)
• Modal Logic
  • Basic Modal Logic (pdf, 13pp)
  • Specific Modal Logics (pdf, 10pp)
• Ancillary Material
  • Well-Founded Orderings and Multisets (pdf, 7pp)