The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Some of the proofs are presented in detail, while others (some with hints) may be assigned to the student or presented by the instructor.