MATH 200

Course description

MATH 200 - Transition to advanced mathematics serves as a bridge between basic math courses, such as calculus and vector algebra, and more theoretical courses such as linear algebra, abstract algebra, topology and real analysis. MATH 200WM serves for the Department’s Upper Level Writing (ULW) requirement. The main goals of this course is to manage the syntax and semantics in the mathematical language. The topics covered are

  • Propositional and Predicate logic
  • Proof strategies in mathematics
  • Set theory
  • Relations and functions
  • Mathematical induction and recursion
  • Number theory
  • Infinite sets

Lecture and Instructor information

The class meets for 75 minute lectures twice a week. Attendance is not mandatory, but essential. Lecture notes will be posted on Blackboard after each meeting.

Instructor: Sergio Chaves
Office: Hylan 1001
Office hours: TBA
Email: where x=math.rochester
Lectures: Mondays-Wednesdays 12:30 - 1:45 PM
Room: Meliora 224


The course will follow closely How to prove it: A structured approach. Daniel J. Velleman. 3rd Edition. Cambridge University Press, 2019.

Teaching Assistant

Vanessa Matus de la Parra
Office hours:

Grading, schedule, exam and policies

See blackboard for up to date course information