MATH 3400 - Introduction to Concepts of Mathematics
Lec. 2. Rec. 2. Credit 3. Prerequisite: C or better in MATH 1920. A rigorous treatment of elements of logic and set theory including propositional calculus (statements, connectives, conditionals, and negation), quantifiers, sets and operations on sets, mappings, equivalence relations, and mathematical induction. Students are expected to work in an abstract setting using precise definitions and formal proofs.