SUNY at Stony Brook MAT 200: Logic, Language, and Proof
Fall 2007

Exam 1 info

Midterm 1 will be on Wed, Oct 10. It will be in-class exam. It will cover all the material we have studied so far -- that is, sections 1 through 9, from basic logic to bijective functions.

To help you prepare for the midterm, here is the midterm 1 from Fall 2006. You can expect this year midterm to be similar in length and difficulty to that one.