MAT 230 - Sets and Proofs

An introduction to proof techniques (including quantifiers and induction), elementary set theory, abstract functions, infinite cardinalities, and properties of sets of real numbers; followed by an introduction to topics chosen from topology, analysis, dynamical systems, or set theory, among others.  Emphasis throughout is on developing abilities in writing proofs.

Satisfies a requirement in the Mathematics major and minor.
Satisfies a requirement in the Computer Science major and minor.
Satisfies the Mathematical and Quantitative Thought requirement.

Prerequisites & Notes
Credit for one of MAT 113, MAT 140, MAT 150, or MAT 160 from a course taken at Davidson, or permission of the instructor.