Final Exam Question Distribution

---

Time and Place

• Time: 05:30pm – 07:30pm, Wednesday, December 17, 2008
• Place: Streibel Hall 238

Question Style

• Closed books and closed notes


• Axiomatic semantics questions will be similar to the homework questions, but will be easier.


• Need to memorize all properties and rules of axiomatic semantics. They will NOT be given in the exam.


• Check the textbook exercises of Lambda calculus and see what kinds of questions can be asked about it.


• Question types may include: (i) true-or-false, (ii) multiple choices, (iii) matching, (iv) blank filling, (v) question-and-answer, and (vi) programming.

Major Question Distribution

• Covering Class Slides 10.1 – 14.33 and Homework IV


• Axiomatic Semantics (35% – 45%)
  • Concepts
  • The weakest precondition wp
  • Proofs of program correctness


• Lambda Calculus (25% – 40%)
  • Concepts
  • Reduction
  • Recursive functions


• Logic Programming Paradigm (25% – 40%)
  • Concepts
  • First-order predicate calculus
  • Horn clauses
  • Prolog