# SPRING 2020, SETS AND LOGIC

### 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 3-13-2020

Problem Set 1 with hints Spring 2020

Sets and Logic lecture notes 3-16-2020

Sets and Logic lecture notes 3-18-2020

Sets and Logic lecture notes 3-20-2020

Scan, sets and logic lecture notes 3-23-2020

Sets and Logic lecture notes 3-25-2020

Sets and Logic lecture notes 3-27-2020

Problem Set 2 spring 2020

Sets and Logic lecture notes 3-30-2020

Sets and Logic lecture notes 4-1-2020

Sets and Logic lecture notes 4-3-2020

### 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

Daniel J. Velleman, How to prove it, a structured approach, second edition, Cambridge University Press, New York, NY 10013.

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, 1-14. 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

Properties-of-real-numbers

Pascal’s-Triangle

Sample Exam 1

Problem Set 1 spring 2020

sets-and-logic-notes-2-23-2020

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 make-ups 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: 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 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 take-home 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:

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