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 [brief review only]
• Modal logic
  • Basic modal logic [5.2]
  • Logic engineering [5.3]
  • Multi-agent systems [5.5]
• 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]
• Classical logic
  • Predicate logic - syntax and semantics [2.2, 2.4]
  • Proof theory - natural deduction [1.2, 2.3]
  • Quantifier elimination [2.4]
  • Herbrand semantics
  • Proof theory - resolution
  • Undecidability [2.5]
  • Compactness, expressiveness of predicate logic [2.6]

Additional Reading Material

• Other texbooks that cover similar material include:
  • Logic for Mathematics and Computer Science by Stanley N. Burris. Prentice Hall, 1998.
  • Logic for Computer Science by Jean H. Gallier. Harper & Row, 1986.
  • Logic for Applications by Anil Nerode and Richard A. Shore. Springer-Verlag, 1993.