The test is closed book and closed notes. This is because I want you to understand the material beforehand. I expect you to know certain definitions cold such as what Γ ⊨ ϕ and what Γ ⊢ ϕ mean.

I will put a crib sheet on the last page of the exam containing some information that you should know but don't need to memorize. I have posted a draft of the midterm crib sheet. Please feel free to email me suggestions that you would like to see there and I'll post the final version on Monday, Oct. 21.

To study for the test, I urge you to do the following:

1. Go over the three homeworks, and their model solutions, making sure that you now understand all of these! (Model solutions for hw3 will be posted the morning of Wednesday, Oct 20.
2. Go over your lecture notes and the posted notes, handouts and readings for lectures 1 through 10, making sure that you now understand these. I will emphasize the material that you've already handed in homework about.
3. Relax and get a good night's sleep next Wednesday night.

I try hard to make my exams like my problem sets only simpler because they are closed book and there is a time limit. The two hours should be more than enough for most of you to comfortably finish this exam. If you want to leave early, please check your answers carefully and then feel free to do so.

I strongly encourage you to ask questions on Piazza as you consolidate your knowledge while studying for the midterm. You might try extra problems from the text and make up your own. Rik and I will try to think of some extra, sample problems, but for the topics we plan to emphasize, see the above.