Math 210 Fall 2007
Exam 1 review
The first hour exam will be on Friday, Sept. 28, in class, and will cover sections 1.1 – 2.3 of our textbook.
Some preliminary notes:
I have attempted to be comprehensive in the following, but you are responsible for the material covered, even if I do forget to list something here. If you do find an omission, please do let me know.
In your review, look at definitions, homework problems assigned, and bits of history. In particular:
Be able to give a definition of terms encountered so far (proposition, predicate, functions, composition, and the like).
Be able to produce and interpret truth tables
Be able to say what is sufficient, necessary; what is the converse and contrapositive of a conditional statement.
Be able to translate logical expressions into English and English expressions into logical ones.
Know the basic identities for logical expressions (including quantifiers)
Be able to construct proofs, giving reasons for each step (including the rules of logic contained in tables 1 and 2 on pages 66 and 70.
Be able to say what a direct proof, a proof by cases, and a proof by contradiction (ATC) proof is (sections 1.6, 1.7 briefly)
Be able to produce intersections, unions, differences, and Cartesian products of sets.
Be able to construct proofs about sets.
Review bibliographies (from the text). I will give you a list of names coming from the reading so far and ask you to briefly describe who one or two of them are and what they did relevant to this course. Please note that although we only briefly covered sections 1.6 and 1.7, you should be comfortable with the bibliographic items in those chapters.