Spring 2017: MTH 200

Course description

Techniques and methods of proof used in mathematics and computer science. Logical reasoning, mathematical induction, relations, functions. Applications to group theory or real analysis. A significant focus of this course is developing proof writing skills, which are central to the transition to higher mathematics. This course partially satisfies the upper-level writing requirement in mathematics.


How to Prove It, A Structured Approach, 2nd edition

by Daniel J. Velleman


John Doyle

Class times: MW 12:30-1:45 in Gavett 310

Office: Hylan 1019

Office Hours: Tuesday 10-11:30 a.m.; Thursday 1-2:30 p.m.
Email: jdoyle21@ur.rochester.edu
Kalyani Madhu

Class times: MWF 10:25-11:15 in Harkness 210

Office: Hylan 815

Office Hours: Tuesday 1:30-3 p.m.
Email: kmadhu@ur.rochester.edu


Siegfred Baluyot

Office hours: Mondays, 3:30-4:30, Hylan 710

Academic Honesty

All assignments and activities associated with this course must be performed in accordance with the University of Rochester’s Academic Honesty Policy. More information is available here.

Homework collaboration:

You are encouraged to work on your homework in small groups. However, each person must write up the homework alone for submission. You may share ideas, but you may not check each others’ written work or copy any part of it. If you work collaboratively, you must list the people with whom you worked at the top of your homework.

You may consult each other, the instructors, the TAs, the text book, and other books, but you may not consult the internet.


The paper prompts will be specific about the level of collaboration that is permitted for each topic.

You must carefully cite all external sources used in the creation of your paper using the bibliography standards we will develop in class. All written work must be your own. All direct quotes must be cited.


No notes or electronic devices of any kind will be permitted at exams.