Registration Information
Course: MHF3202
Section #: 3255
5 Digit Class #: 18100
Meeting time and place: M,W,F  Period 6 (12:50 PM – 1:40 PM) FLI 101
Instructor: Louis Block
Announcements:
The class will not have in person meetings for the rest of the semester. Material will be posted online and on Canvas. We may have meetings via Zoom.
Sets and Logic lecture notes 3132020
Problem Set 1 with hints Spring 2020
Sets and Logic lecture notes 3162020
Sets and Logic lecture notes 3182020
Sets and Logic lecture notes 3202020
Scan, sets and logic lecture notes 3232020
Sets and Logic lecture notes 3252020
Sets and Logic lecture notes 3272020
Sets and Logic lecture notes 3302020
Sets and Logic lecture notes 412020
Sets and Logic lecture notes 432020
Description and Goals
This course is an introduction to formal mathematics. The emphasis in this course is not on learning facts, but rather on learning how to write clear and rigorous proofs. The goal is to understand and write about mathematical material in a formal mathematical way. In addition to attending class, you are expected to carefully read the appropriate sections in the text, and spend time working problems. You are encouraged to get together with other students to discuss problems. Of course, for the problems which you turn in for a grade, you must write up your work individually, and you may not copy from another student.
Text
The text for this section is the online book, “Book of Proof” (third edition) by Richard Hammack. This may be downloaded for free. Here is a link:
Additional Reference
Daniel J. Velleman, How to prove it, a structured approach, second edition, Cambridge University Press, New York, NY 10013.
Reading and Exercises
We will cover Chapters 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, and 14 of the text as time permits. Assigned reading and exercises from the text will be added here as the course progresses. Note that there are solutions to all odd numbered exercises in the back of the text. But it is important for you to try to do the exercises yourself before looking at the answer in the text. Also, we will go over many of the even numbered exercises in class. Again, it is important for you to try to do the exercises yourself before we go over them in class.
Approximate Schedule: Chapter 1: 3 days, Chapter 2 :6 days Chaper 4: 3 days, Chapter 5: 3 days, Chapter 6: 2 days, Chapter 7: 2 days, Chapter 8: 2 days, Chapter 9: 1 day, Chapter 10: 2 days, Chapter 11: 4 days, Chapter 12, 6 days, Chapter 14: 4 days.
 January 6, 8, 10: Read Chapter 1. Exercises: Section 1.1, Problems 1 – 38, Sections 1.2, Problems 1 – 8, Section1.3, Problems 1 – 16, Section 1.4, Problems 1 – 12, Section 1.5, Problems 1 – 4, Section 1.7, Problems 1 – 4, Section 1.8, Problems 1 – 10. Quiz 1 will be on these problems.
 January 15,17, 22: Read Chapter 2 through Section 2.6. Exercises: Section 2.1, Problems 1 – 10, Section 2.2, Problems 1, 2, 3, 5, 6, 7, 8, 9, 10, Section 2.3, Problems 1 – 8, Section 2.4, Problems 1 – 4, Section 2.5, Problems 1 – 11, Section 2.6, 114. Quiz 2 will be on these problems.
 January 24 and 27: Read the rest of Chapter 2. Exercises: Section 2.7, Problems 1 – 10, Section 2.9, Problems 1, 2, 3, 5, 6, 7, 9, 10. Section 2.10, Problems 1 – 6 and 8, 9, 10. Quiz 3 will be on these problems.
 January 29: Read Sections 4.1, 4.2, and 4.3.
 January 31, February 3 and 5: Read the rest of Chapter 4. Exercises: Problems 1 – 20, 24, 26, 27, 28 on page 126. Quiz 4 will be on these problems.
 February 10: Read Chapter 5. Exercises: Problems 1 – 13 on page 136.
 February 12 and 14. Additional Chapter 5 Exercises: Problems 14 – 25, 29, 30, 31, 32 on page 136.
 February 21. Read Chapter 6. Exercises: Problems 3 – 11 on page 144.
 February 24. Additional Chapter 6 Exercises: Problems 13 – 18 and 20 – 23. Quiz 5 will be on these problems and Problems 3 – 11.
 March 9, 11, 13, and 16. Read Chapter 7. Exercises: Page 155 – 156 # 3 – 19, 21 – 25, 27 – 32. Also, complete Problem set 1. (see link below). The due date is now changed to March 23.
 March 18. Read the first 3 sections of Chapter 8. Exercises: Page 171 # 1 18.
 March 20. Read the rest of Chapter 8. Exercises: Page 171 # 19 – 31.
Instructor Notes and Other Material
Grades
Grades will be based on two exams given in class during the semester, five quizzes, three problem sets, and a cumulative final exam. Each of the two exams during the semester will be worth 40 points. The four best quizzes will be worth 10 points each. No makeups will be given for missed quizzes. The problem sets will be worth 10 points each. The final exam will be worth 50 points. So there are 200 possible points. The final exam will be given during the regular final exam period for this section:
Final Exam: 4/29/2020 @ 12:30 PM – 2:30 PM
Grades will be assigned according to the following:
A: 180200 A: 175179 B+: 170174 B: 160169 B: 155159
C+: 150154 C: 140149 C: 135139 D+: 130134 D: 120129
Tentative Schedule for exams, quizzes, and problem sets:
 January 15: Quiz 1.
 January 24 Quiz 2.
 January 29: Quiz 3.
 February 7: Quiz 4.
 February 19: Exam 1.
 February 28: Quiz 5.
 March 18: Problem Set 1 due. The due date is now changed to March 23.
 March 25: Problem Set 2 due. The due date is now changed to April 3.
 April 3: Exam 2. This will be a takehome exam. The date is now changed. The exam will be available April 8 and will be due April 15.
 April 15: Problem Set 3 due. The due date is now changed to April 20.
 April 29 @ 12:30 PM – 2:30 PM :Final Exam
Course Policies:
 Closedbook policy: No use of calculators, or books will be allowed during any inclass exams.
 Policy related to makeup exams: Written medical documentation is required for makeup exams.
 Policy on class attendance: Daily attendance is required as consistent with university policies that can be found in the online catalog at: https://catalog.ufl.edu/ugrad/current/regulations/info/attendance.aspx.

Additional Information and Links:
Grades: Grading will be in accord with the UF policy stated at https://catalog.ufl.edu/ugrad/current/regulations/info/grades.aspx.
Honor Code: “UF students are bound by The Honor Pledge which states, “We, the members of the University of Florida community, pledge to hold ourselves and our peers to the highest standards of honor and integrity by abiding by the Honor Code. On all work submitted for credit by students at the University of Florida, the following pledge is either required or implied: “On my honor, I have neither given nor received unauthorized aid in doing this assignment.” The Honor Code specifies a number of behaviors that are in violation of this code and the possible sanctions. Furthermore, you are obligated to report any condition that facilitates academic misconduct to appropriate personnel. If you have any questions or concerns, please consult with the instructor in this class.”
Class Attendance: “Requirements for class attendance and makeup exams, assignments, and other work in this course are consistent with university policies that can be found at: https://catalog.ufl.edu/ugrad/current/regulations/info/attendance.aspx.”
Accommodations for Students with Disabilities: “Students with disabilities requesting accommodations should first register with the Disability Resource Center (3523928565, https://www.dso.ufl.edu/drc/) by providing appropriate documentation. Once registered, students will receive an accommodation letter which must be presented to the instructor when requesting accommodation. Students with disabilities should follow this procedure as early as possible in the semester.”
Online Evaluations: “Students are expected to provide professional and respectful feedback on the quality of instruction in this course by completing course evaluations online via GatorEvals. Guidance on how to give feedback in a professional and respectful manner is available at https://gatorevals.aa.ufl.edu/students/. Students will be notified when the evaluation period opens, and can complete evaluations through the email they receive from GatorEvals, in their Canvas course menu under GatorEvals, or via https://ufl.bluera.com/ufl/. Summaries of course evaluation results are available to students at https://gatorevals.aa.ufl.edu/publicresults/.”
Contact information for the Counseling and Wellness Center: http://www.counseling.ufl.edu/cwc/Default.aspx, 3921575; and the University Police Department: 3921111 or 911 for emergencies.