MA 340 Foundations of Mathematics

A bridge course to abstract mathematics. Emphasis is on theorem proving. Topics include fundamentals of set theory and logic, induction principle, technique of writing proofs, relations, functions, cardinality of sets, and construction of number system.