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: firstname.lastname@example.org
- Kalyani Madhu
Class times: MWF 10:25-11:15 in Harkness 210
Office: Hylan 815
- Office Hours: Tuesday 1:30-3 p.m.
- Email: email@example.com
- Siegfred Baluyot
Office hours: Mondays, 3:30-4:30, Hylan 710
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.
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.