This is a course in the principles of mathematical reasoning and the construction of proofs. It begins with symbolic logic and then studies direct and indirect methods and proof by induction. Examples from set theory, discrete structures, axiomatic systems, recursion, and basic algebraic structures (groups, rings, fields) are used to illustrate the methods.
MATH 132, minimum grade of “C”
Highlighted text indicates a change from the official version of the catalog.