# 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: schavesr@x.edu
*where x=math.rochester* **Lectures:**Mondays-Wednesdays 12:30 - 1:45 PM- Room: Meliora 224

### Textbook

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
- Email: vmatusde@ur.rochester.edu
- Office:
- Office hours:

### Grading, schedule, exam and policies

See blackboard for up to date course information