Intro/Concepts of Math

Catalog description

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.