CSE 541 - Assignments

Homework assignments and solutions to selected exercises, will be posted throughout the semester.

• Natural deduction
  
  • Homework [1], due on February 2nd: Exercises 1.2.1 b, x, 1.2.3 e, t
• Natural deduction, modal logic
  
  • Homework [2], due on February 9th: Exercises 1.4.16 f, j, 5.2.1 (a) vi, ix, (b) ii, v, 5.2.5 h, i
• Modal logic
  
  • Homework [3], due on February 16th: Exercises 5.3.14, 5.3.16 a, b, 5.5.3 b, c, f, g, l
  • Homework [4], due on February 23rd: Exercises 5.3.4 d, g, i, j, 5.5.5
• Temporal logic
  
  • Homework [5], due on March 8th: Exercises 3.2.2 c, 3.3.1 b, 3.4.6 b (iv), (v), (vi), 3.4.10 f
  • Homework [6], due on March 15th: Exercises 3.4.8 b, d, 3.5.1 b, d, 3.5.3, 3.5.6 b
  • Homework [7], due on March 22nd: Exercises 3.7.1 a, b, 3.7.3
• Binary decision diagrams
  
  • Homework [8], due on March 29th: Exercises 6.4.1, 6.5.6, 6.7.9, 6.12.1
• Predicate logic
  
  • Homework [9], due on April 19th: Exercises 2.1.4 b, c, g, h, 2.2.5 d, 2.4.2 b, c, 2.4.5 b, 2.4.6
  • Homework [10], due on April 26th: Exercises 2.3.6 a, 2.3.9 d, o, 2.3.13 d
  • Homework [11], due on May 4th: Refutational proofs