This course is designed to introduce students to the foundations of higher mathematics, which includes an introduction to mathematical abstraction and an introduction to the language of mathematical proof. Topics include: logic; the use of quantifiers to assist with logic; set theory; applying appropriate proof techniques; relations and functions, including the Cartesian product and its applications. This course is highly recommended for those students who have not been exposed to mathematical proof and intend to take advanced math courses.