|
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. The test will be cumulative.
I will put a crib sheet on the last page of the final containing some information that you should know but don't need to memorize. I will put up a draft of the final crib sheet this week. Please feel free to email me suggestions that you would like to see there and I'll post the final version on Wednesday morning, Dec. 15.
To study for the final, I urge you to do the following:
I try hard to make my exams like my problem sets only simpler because they are closed book and there is a time limit. There should be more time than you need for the final -- it should be similar in length and difficulty to the midterm.
I strongly encourage you to ask questions on Piazza as you consolidate your knowledge while studying for the final, but we won't answer anything posted after 8 p.m. Wednesday night, Dec. 15.