**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

There also will be a midterm exam and a final exam. The midterm is
scheduled for Friday, **May 2**. The final exam will be scheduled by the
registrar; the current exam schedule is not
yet available.

Comments to: dpvc@union.edu

Created: Mar 24 1998 --- Last modified: Jun 2, 1998 7:39:23 PM