Fall 2023 MHF 3202


Section

139A

Time and Location

M W F Period 5 (11:45 am – 12:35 pm) at LIT 233

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:
  • 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 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.