CSE 541 - Topics

Textbook

Logic in Computer Science by Michael R A Huth and Mark D Ryan. Cambridge University Press, Second edition, 2004.

Course Topics

Tentative list of topics to be covered (section numbers refer to the textbook).

• Propositional logic
  • Syntax and semantics [1.1, 1.4]
  • Proof theory - natural deduction [1.2]
  • Normal forms, satisfiability [1.5, 1.6]
• Predicate logic
  • Syntax and semantics [2.2, 2.4]
  • Proof theory - natural deduction [2.3]
  • Quantifier elimination
  • Proof theory - resolution
  • Undecidability [2.5]
  • Compactness, expressiveness [2.6]
• Temporal logic
  • Linear-time temporal logic [3.2]
  • Branching-time logic [3.4]
  • Expressiveness of CTL and LTL [3.5]
  • Model checking [3.6, 3.7]
• Modal logic
  • Basic modal logic [5.2]
  • Logic engineering [5.3]
  • Multi-agent systems [5.5]
• Binary decision diagrams
  • Representation and algorithms [6.1, 6.2]