MATH 3320 Foundations of Higher Mathematics

A study of formal logic and set theory (including truth tables, propositional and predicate calculus, equivalence relations, and cardinality of sets) and of the nature and methods of abstract mathematical proof. Prerequisite: MATH 2320 or 2330.