Fall 2018, SETS AND LOGIC

MHF 3202 (16706) Section 09EH, Instructor: Louis Block

Meets: M,W,F | Period 7 (1:55 PM – 2:45 PM) LIT 0219

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. 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. 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: Daniel J. Velleman, How to prove it, a structured approach, second edition, Cambridge University Press, New York, NY 10013.

Grades

Grades will be based on two exams given in class during the semester, homework problems, and a cumulative final exam. Each of the two exams during the semester will be worth 40 points. There will be seven graded homework assignments 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, which is 12/10/2018 @ 3:00 PM – 5:00 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

Assignments.

The assignments will be added here, as the course progresses. I suggest that you do the reading part of each assignment in advance. Some problem assignments  must be turned in for a grade. These will be indicated below. Students are expected to also do the additional problems listed as part of the preparation for the exams.

  • August 22. Read the Introduction Pages 1 – 6, and Section 1.1, Pages 8 – 13. Problems to turn in # 6, (all parts) on page 14.  Due August 29. Additional  problems: # 1, 5, 7 (all parts of each) on pages 13 – 14.
  • August 24. Read Section 1.2. Problems to turn in # 4, 6, 8, 12, 17 (all parts of each) on pages 24 – 26.  Due August 29.  Additional problems # 1, 5, 7, 9, 11, 14, 16, 18 (all parts of each).
  • August 27. Read sections 1.3 and 1.4. No problems to turn in. Additional problems: #6 (all parts) on page 34 and # 4, 5, 9 (all parts of each) on page 42.
  • August 29. Read Section 1.5. Problems to turn in # 5, 7, 9, 10 (all parts of each) on page 54.  Due September 7.  Additional problems # 1, 4, 6, 8 (all parts of each).
  • August 31. Read section  2.1. No problems to turn in. Additional problems # 3, 5, 7, 8, 9 (all parts of each).
  • September 5. Read Section 2.2. No problems to turn in. Additional problems # 1 (parts c and d), 2 (parts c and d) 3 (all parts) on page 72. Also, begin reading the notes Properties-of-real-numbers.
  • September 7. Read Section 2.3. No problems to turn in. Additional problems # 1, 3, 4, 5, 6, 8, 9, 11 (all parts of each) on pages 81 – 82.
  • September 10. Continue reading section 2.3 and the notes Properties-of-real-numbers.
  • September 12. Problems to turn in from the notes Properties-of-real-numbers: Prove each of the following: Theorem 1.7 parts g and h. Theorem 1.15 parts i, j, k. For each problem, you may use only previous problems and axioms in these notes. Also, you must give justification for each step in the proof. These problems are due September 26.
  • September 14. Read Section 3.1. No problems to turn in. Additional problems # 7, 8, 11, 12, 13, 15, 16 (all parts of each) on pages 94 – 95.
  • September 17 and September 19. Read Section 3.2. No problems to turn in. Additional problems # 5, 6, 7, 8, 9, 10, 11, 12 (all parts of each) on pages 106 – 107.
  • September 21 and September 24. Read Section 3.3. No problems to turn in. Additional problems # 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 20, 21, 22 (all parts of each) on pages 122 – 123.
  • October 5. Read Section 3.4. Problems to turn in # 13 and # 18 on pages 133 – 134.  Due October 12.  Additional problems # 7, 8, 12, 14, 15, 16, 17 (all parts of each).
  • October 8. Read Section 3.5. Problems to turn in # 6 and # 8 on pages 143 – 146.  Due October 17.  Additional problems # 4, 5, 7, 9, 15, 30,  (all parts of each).
  • October 10. Read Section 3.6. No problems to turn in. Additional problems # 1, 2, 3, 4, 5, 6, 7, 8 (all parts of each) on pages 153 – 154.
  • October 15. Read Section 4.1. No problems to turn in. Additional problems # 4, 6, 7, 8, 9, 10, 11, 12 (all parts of each) on pages 170 – 171.
  • October 17. Read Section 4.2. No problems to turn in. Additional problems # 4, 9, 10, 11, 12 (all parts of each) on pages 179 – 180.
  • October 22. Read Section 4.3. Problems to turn in # 18 and # 21 (all parts) on pages 186 -189. Due October 31. Additional problems # 12, 13, 14, 15, 17, and 22.
  • October 26. Read Section 4.4. No problems to turn in. Additional problems # 4, 5, 6, 10, 15, 19, 20, 22 (all parts of each) on pages 199 – 202.
  • October 31. Read Section 4.6. No problems to turn in. Additional problems # 1, 2, 3, 10, 11, 12, 13 (all parts of each) on pages 222 – 225.
  • November 16. Read Section 5.1. No problems to turn in. Additional problems # 3, 6, 7, 8, 11, 12, 15, 17 (all parts of each) on pages 233 – 236.
  • November 19. Read Section 5.2. Problems to turn in # 8 (both parts) and # 9 (both parts) on pages 243 – 245. Due November 28.  Additional problems # 3, 5, 7, 10, 15, 18 (all parts of each).
  • November 26. Read Section 5.3. No problems to turn in. Additional problems # 3, 6, 7, 16, 18 (all parts of each) on pages 252 – 255.
  • November 28. Read Section 6.1. No problems to turn in. Additional problems # 1, 2, 3, 9, 10, 11, 12 (all parts of each) on pages 265 – 267.

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 feedback on the quality of instruction in this course by completing online evaluations at https://evaluations.ufl.edu. Evaluations are typically open during the last two or three weeks of the semester, but students will be given specific times when they are open. Summary results of these assessments are available to students at https://evaluations.ufl.edu/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.