This course is an introduction to proofs and abstract mathematical thinking. The goal of this course is to provide a transition from introductory mathematics courses which are predominantly computational to upper-level mathematics courses which are proof-based. Topics include sets, logic, proof techniques, relations and functions. Prerequisites: “C-“ or better in MA240.