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.
This area will be used by the assessor to leave
comments related to this criterion.
out of 5
In order to create video or audio recordings your computer needs to be
webcam-enabled. If you don't have a webcam on your computer, you can still
record audio-only messages by first installing the Google Video Chat