Exam 1 will cover chapters 1-3. The exam will be closed book and closed notes, except that you may bring a 3"x5" card of your own handwritten notes. You will be provided with tables of syllogisms and logical equivalences, as in class.
The exam will have many short problems. It will cover programming in SML as well as mathematical notation and reasoning. You can expect exam problems to be straightforward rather than tricky. (I save tricky problems for the weekly problem sets.)
Can't change a rubric once you've started using it.