Mid-term Exam Study Guide

The mid-term will be an open book/notes exam with questions of a problem solving nature. The topic coverage is as follows:

* logic - chapter 2 of Diller, plus on-line supplements

* program proving - chapter 14 of Diller, plus on-line supplements

* Z - chapters 3-7 and 16.2 of Diller (some material in section V may also be of relevance), plus chapter 22 of the "Using Z" book (on-line).

Note that the sample exam is of the take-home variety, so while the topics are relevant the length of the answers is inconsistent with an in-class exam. Also, the assigned homework has addressed topics of primary interest, but again without concern for the length of solutions. The mid-term will have questions specifically formulated to permit succinct responses. There is a danger in a timed open-book exam that you may spend too much time perusing the book, so be wary of this.