Fall 2019, SETS AND LOGIC

Registration Information

Course: MHF3202
Section: 139A
5 Digit: 19958
Meeting time and place: M W F 5 LIT 207
Instructor: Louis Block

Office Hours For Final Exam Questions (in Little 478)

Friday, December 6, 1:00PM – 2:30PM

Monday, December 9, 1:30PM – 3:30PM

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.

  • August 21, 23, 26: Read Chapter 1. Study the following exercises: Section 1.1, Problems 1 – 38, Sections 1.2, Problems 1 – 8, Section1.3, Problems 1 – 12, 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.
  • August 28, 30, September 4: Read Chapter 2. Study the following exercises: Section 2.1, Problems 1 – 10, Section 2.2, Problems 1 – 10, Section 2.3, Problems 1 – 8, Section 2.4, Problems 1 – 4, Section 2.5, Problems 1 – 11, Section 2.6, 1-14, Section 2.7, 1 – 10. Quiz 2 will be on these problems.
  • ** Due to the cancellation of class on September 4, the date for Quiz 2 is changed. The new date is Monday September 9.
  • September 9, 11: 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.
  • September 13, 16, 18: Read Chapter 4. Exercises: Problems 1 – 19, 24, 26 on page 126. Quiz 4 will be on these problems.
  • September 20, 23, 25, Read chapter 5. Exercises: Problems 1 – 20 on page 136.
  • Note: Exam 1 on Friday, September 27 will be on the material above.
  • September 30 and October 2. Read Chapter 6. Exercises: Page 144 # 3 – 11, 13 -18.
  • October 7 and October 9. Read Chapter 7. Exercises: Page 155 – 156 # 3 – 18, 21 – 25, 28 – 32. Also, see the link for Problem Set 1 below.
  • October 14 and October 16. Read Chapter 8. Exercises: Page 171 # 1 – 9, 13, 15,17, 19, 21 – 29. Also, see the link for Problem Set 2 below.
  • October 21 and October 23. Read Chapter 9. Exercises: Page 179 # 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 21, 25, 26 28, 29, 30, 34.
  • October 25 and October 28. Read Chapter 10. Exercises: Page 195 # 1, 2, 5, 9, 11, 12, 13, 14, 16.
  • November 4. Read Section 11.1. Exercises: Page 204 # 1, 3, 5, 7, 9, 11. Read Section 11.2. Exercises: Page 208 # 1, 3, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 17.
  • November 6 and November 8. Read Section 11.3 Exercises: Page 214 # 1, 3, 5, 7, 9, 10, 11, 12. Read Section 11.4 Exercises: Page 217 # 1, 3, 4, 5, 6. Read Section 11.5 Exercises: Page 221 # 1, 2, 3, 7.
  • November 13. Read Section 12.2. Exercises: Page 232 # 1, 3, 5, 7, 11, 12, 13, 14, 18.
  • November 15. Read Section 12.3. Exercises: Page 235 # 1, 2. Read Section 12.4. Exercises: Page 238 # 1, 3, 5, 7, 9. Also, see the link for Problem Set 4 below.
  • November 18. Read Section 12.5. Exercises: Page 241 # 1, 4, 5, 7, 8, 9, 10.
  • November 20. Read Section 12.6. Exercises: Page 243 # 1, 5, 6, 7, 8, 9, 11, 12.
  • November 22. Read Section 14.1. Exercises: Page 274 # 1, 4, 5, 12, 13, 16.

Grades

Grades will be based on two exams given in class during the semester, four quizzes, four problem sets, and a cumulative final exam. Each of the two exams during the semester will be worth 35 points. The quizzes and problem sets will be worth 10 points each. All problems on the quizzes will come from assigned problems above.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: 12/10/2019 @ 12:30 PM – 2:30 PM

Grades will be assigned according to the following:

A: 180-200       A-: 175-179      B+: 170-174       B: 160-169       B-: 155-159
C+: 150-154    C: 140-149       C-: 135-139       D+: 130-134     D: 120-129

Tentative (updated) Schedule for exams, quizzes, and problem sets:

  • August 28: Quiz 1 on Chapter 1.
  • September 6: Quiz 2 (date changed to September 9)
  • September 13: Quiz 3 on Chapter 2.
  • September 20: Quiz 4 on Chapter 4.
  • September 27: Exam 1 on Chapters 1, 2, 4, 5.
  • October 14: Problem Set 1 due.
  • October 21: Problem Set 2 due.
  • November 1: Exam 2 on Chapters 6, 7, 8, 9, 10.
  • November 15: Problem Set 3 due.
  • November 25: Problem Set 4 due.
  • December 10  @ 12:30 PM – 2:30 PM: Final Exam

Course Policies:

  • Closed-book policy: No use of calculators, or books will be allowed during any in-class exams.
  • Policy related to make-up exams: Written medical documentation is required for make-up 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 make-up 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 (352-392-8565, 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/public-results/.”

    Contact information for the Counseling and Wellness Center: https://counseling.ufl.edu/, 392-1575; and the University Police Department: 392-1111 or 9-1-1 for emergencies.