Honors 213 / Math 300First Hour Exam Review
Disclaimer: I have attempted to be comprehensive in the
following, but important items may have been omitted by mistake. If
you see such an omission, please let me know, but you are responsible
for all of the lecture material to date.
Important Note: The first hour exam will be held in
Thompson 311 to permit Thompson 316 (our usual classroom) to be used for a
presentation in cryptography.
The first hour exam for Honors 213 / Math 300 will be held on
Friday, Feb. 10, and will cover chapters 1, 2, the assigned reading from
Devlin, and the course lectures on logic.
- Definitions:
- Be able to define the terms that appear in chapters 1 and 2
(formal definitions)
- Be able to define terms encountered in a high school
geometry course using the terms we have developed in this class
(eg, problems 1 - 2 at the end of chapter 1)
- Be able to state Euclid's first five postulates
- Truth tables: Be able to say what propositions are and to
construct truth tables for the propositional logic, and to use them to
demonstrate some of the logic rules we have been given (not-not rule, MP,
MT, etc.)
- Be able to describe what predicates and quantifiers are and give
and use rules for their manipulation.
- Basic logic
- Be able to find the converse and contrapositive of statements and
identify sufficient and necessary conditions.
- Be able to construct simple proofs
- Be able to discuss what a mathematical proof is, including the RAA
technique.
- Be able to say something about the historical figures that enter into the
textbook material discussed so far.