MAT 340: Foundations of Mathematics.
3 hours, 3 credits. The nature of mathematical proof, basic logic, and set theory. A rigorous construction of the natural numbers within set theory, of the rational numbers, and of the real numbers via Dedekind cuts or their equivalent. PREREQ: MAT 226 or MAT 314.
Last modified: 3/11/2015