**Notation and Abbreviations****Sets and Set Notation**- Elements and set construction
- Containment and equality
- Operations on sets
- Proofs involving containment and equality
- Power set of a set
- Cartesian product of two sets

**"If-then" and "If-and-only-if" Statements**- Basic approach
- Converse and contrapositive
- Proof by contradiction
*P*iff*Q*

**"For all" and "There exists" Statements**- Basic approach
- Illustrations
- Negations

**Functions**- Definition
- Notation and terminology
- One-to-one and onto functions
- Compositions and inverses
- Images and preimages

**Induction**- Definition
- How to use it
- Formal justification
- Recursion

**Equivalence Relations**- Definitions
- Equivalence classes and quotient sets
- Partitions

**Infinite Sets**- Definitions
- Size of
**N**and**Z** - Size of
**Q**and**R** - Continuum Hypothesis

See the course calendar for the timing of exams and quizzes. The final exam will be scheduled by the registrar; see the official exam schedule when it is available.

Comments to: dpvc@union.edu

Created: Mar 24 1999 --- Last modified: Mar 26, 1999 11:11:43 AM