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 upperlevel writing requirement in mathematics.
Textbook
How to Prove It, A Structured Approach, 2nd edition
by Daniel J. Velleman
Instructors
 John Doyle

Class times: MW 12:301:45 in Gavett 310

Office: Hylan 1019
 Office Hours: Tuesday 1011:30 a.m.; Thursday 12:30 p.m.
 Email: jdoyle21@ur.rochester.edu
 Kalyani Madhu

Class times: MWF 10:2511:15 in Harkness 210

Office: Hylan 815
 Office Hours: Tuesday 1:303 p.m.
 Email: kmadhu@ur.rochester.edu
TAs
 Siegfred Baluyot

Office hours: Mondays, 3:304: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.
Papers:
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.
Exams:
No notes or electronic devices of any kind will be permitted at exams.