MAT 210 will survey the main ideas of calculus in a single variable incorporating an introduction to formal mathematical proofs. The course will place equal emphasis on theory (how to construct formal mathematical definitions and rigorous, logical proofs) and on practice (concrete computational examples involving integration and infinite sequences and series). This course provides a more theoretical foundation in single variable calculus than MAT104, intended to prepare students better for a first course in real analysis (MAT215), but it covers all the computational tools needed to continue to multivariable calculus (MAT201 or MAT203).