This course provides a mathematical foundation for the understanding of set theory, abstraction and formal proofs. Topics include: sets; subsets and their operations; logic; counting; Boolean algebras; induction; groups; discrete functions; recursion; graphs; trees and the study of algorithms. Prerequisite: Placement as defined by mathematics faculty; MATH155M with a grade of “C” or better, or permission of the instructor. Offered spring semester only.