Foundations for Higher Mathematics

3 units

Introduction to the rigorous techniques used in more advanced mathematics. Topics include propositional logic, use of quantifiers, set theory, methods of proof and disproof (counterexamples), foundations of mathematics. Use of these tools in the construction of number systems, and in other areas such as elementary number theory, combinatorial arguments, and elementary proofs in analysis.