MATH 3030 Foundations of Mathematics

Prerequisite: C or better in MATH 1262. This course is an introduction to abstract mathematics and the nature of a mathematical proof. Topics include: methods of proof, symbolic logic, set theory, relations and functions, countable and uncountable sets.