Sections
3255 & 8768
Time and Location
3255 : M W F Period 6 (12:50 pm – 1:40 pm) at LIT 235
8768 : M W F Period 7 (1:55 pm – 2:45 pm) at LIT 219
Canvas Page Link
3255 : Canvas Page
8768 : Canvas Page
Textbook
How to Prove It (2nd Edition) by Daniel Velleman
Prerequisites
MAC 2312
Brief Description
This course is an introduction to formal mathematics. The emphasis in this course is not on learning facts, but rather on writing clear and rigorous proofs. Some of the material covered in this course may be quite familiar to you. The goal is to understand and write about this material in a formal mathematical way.
Homework
Homework will be assigned regularly but not collected. However, doing all the homework is essential for success in this class as the exams test your conceptual understanding of the homework assignments. Many homework problems involve doing proofs. Students are encouraged to check their proofs with their instructor.
Here is the tentative list of homework problems:
- Introduction: 1, 2, 3, 4, 5.
- 1.1.6, 1.2.4, 1.3.6.
Other problems: 1.1.1, 1.1.5, 1.1.7, 1.2.1, 1.2.5, 1.2.7, 1.2.9, 1.2.11, 1.2.14, 1.2.16, 1.3.1, 1.3.3, 1.3.5, 1.3.7. - 1.5.5, 2.1.3, 2.1.5.
Other problems: 1.4.1, 1.4.4, 1.4.8, 1.4.10, 1.4.12, 1.5.1, 1.5.4, 1.5.6, 1.5.8, 2.1.1, 2.1.4, 2.1.7, 2.2.1, 2.2.4, 2.2.6, 2.2.8, 2.2.11. - 2.3.10, 3.1.8, 3.2.10.
Other problems: 2.3.1, 2.3.4, 2.3.8, 2.3.11, 2.3.13, 3.1.1, 3.1.4, 3.1.9, 3.1.11, 3.1.14, 3.2.1, 3.2.5, 3.2.8, 3.2.11, 3.2.14. - 3.3.18, 3.4.19, 3.5.10.
Other problems: 3.3.1, 3.3.3, 3.3.7, 3.3.9, 3.3.12, 3.3.14, 3.3.17, 3.3.20, 3.3.22, 3.3.25, 3.4.1, 3.4.4, 3.4.7, 3.4.9, 3.4.12, 3.4.15, 3.4.17, 3.4.21, 3.4.23, 3.5.1, 3.5.4, 3.5.7, 3.5.11, 3.5.15, 3.5.19, 3.5.22, 3.5.23, 3.5.26, 3.5.28, 3.5.30. - 3.6.8, 3.6.10.
Other problems: 3.6.1, 3.6.4, 3.6.6, 3.6.11, 3.7.1, 3.7.4, 3.7.9. - 4.1.10, 4.2.8ab, 4.2.9.
Other problems: 4.1.1, 4.1.4, 4.1.6, 4.1.8, 4.1.12, 4.2.1, 4.2.4, 4.2.10. - 4.3.14, 4.3.18, 4.4.6.
Other problems: 4.3.1, 4.3.3, 4.3.5, 4.3.7, 4.3.10, 4.3.13, 4.3.17, 4.3.20, 4.3.23, 4.4.1, 4.4.4, 4.4.8, 4.4.11, 4.4.14, 4.4.17, 4.4.21. - 4.4.22, 4.6.13, 4.6.16a.
Other problems: 4.6.1, 4.6.3, 4.6.5, 4.6.9, 4.6.12, 4.6.15, 4.6.19, 4.6.21, 4.6.23. - 5.1.17, 5.2.15, 5.3.12.
Other problems: 5.1.1, 5.1.3, 5.1.5, 5.1.7, 5.1.10, 5.1.12, 5.1.16, 5.1.18, 5.2.2, 5.2.5, 5.2.7, 5.2.10, 5.2.14, 5.2.17, 5.3.1, 5.3.3, 5.3.5, 5.3.9, 5.3.11, 5.3.14, 5.3.16. - 6.1.2, 6.1.11, 6.2.3.
Other problems: 6.1.1, 6.1.3, 6.1.7, 6.1.10, 6.1.14, 6.1.19, 6.2.1, 6.2.4, 6.2.8, 6.2.10, 6.2.13. - 6.3.9, 6.4.4, 7.1.3abc.
Other problems: 6.3.1, 6.3.6, 6.3.8, 6.3.12, 6.3.15, 6.3.18, 6.3.20, 6.4.1, 6.4.3, 6.4.6, 6.4.8, 6.4.10, 6.4.14, 6.4.18, 6.4.20, 7.1.1, 7.1.4, 7.1.6, 7.1.8, 7.1.17, 7.1.20.
Grading System
The course grade will be determined by three in-class exams (90 points each), the first two of which will be announced a week in advance and the third one will be on the last day of classes. No electronic devices (including calculators) are permitted during the exams. As well, there will be at least 3 quizzes unannounced in advance (each weighted 10 points). The resulting score which is equal to the sum of all individual scores divided by 3 determines the letter grade according to the following table.
Letter Grade | A | A- | B+ | B | B- | C+ | C | C− | D+ | D |
---|---|---|---|---|---|---|---|---|---|---|
Score | 100 – 93 | 92 – 88 | 87 – 83 | 82 – 74 | 73 – 69 | 68 – 64 | 63 – 59 | 58 – 54 | 53 – 49 | 48 – 40 |
Attendance
Attendance is mandatory. Also, please arrive at class before it starts; it is very disruptive when someone walks in late.
Make-ups
Make-up exams will not be administered unless it is supported by valid documentation.
Student Honor Code
Students are expected to abide by the Honor Code.
Accommodations
Students with disabilities who experience learning barriers and would like to request academic accommodations should connect with the disability Resource Center by visiting disability.ufl.edu/students/get-started. It is important for students to share their accommodation letter with their instructor and discuss their access needs, as early as possible in the semester.
Disclaimer
I reserve the right to change the above policies if situations warrant.