CSE 541 - Assignments

Homework assignments and solutions to selected exercises, will be posted regularly throughout the semester. Exercises are from the textbook unless noted otherwise.

• Modal Logic
  
  • [1, corrected] Exercises 5.2.5 g, 5.2.6 e, 5.3.14, 5.3.15, 5.3.16 a, b
  • Extra problems (optional): Exercise 5.3.16 c
  • [2] Exercises 5.5.3 h, i, j, k, 5.5.5
  • Sample solutions
• Temporal Logic and Verification
  
  • [3] Exercise 3.2.4
  • [4] Exercises 3.4.10 b, c, f, 3.5.1 b, c, d, 3.5.7 a, b
  • Sample solutions
  • [5] Exercises 3.7.3 b, 3.7.5
  • Sample solutions
• Predicate Logic
  
  • [6] Exercises 2.4.5 and 2.4.12 b, h; and for extra credit 2.4.12 k.
  • Sample solutions
  • [7] Exercises 1.2.1 p, q, 1.2.3 u
  • Sample solutions
  • [8] Exercises 2.3.3 a, b, 2.3.9 i, o; and for extra credit 2.3.13 c.
  • Sample solutions
  • [9] Skolemization and Herbrand models (pdf)
  • [10] Resolution (pdf)
  • Sample solutions