Emphasizes mathematical reasoning and communication of mathematical ideas both orally and in writing. Symbolic logic. Techniques of mathematical proof. Algebra of sets, binary relations and functions. Infinite sets, both countable and uncountable. Prereq: ENGL 110 and C- or higher in MATH 211.