{"id":2329,"date":"2019-12-23T14:58:35","date_gmt":"2019-12-23T19:58:35","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/block\/?page_id=2329"},"modified":"2026-03-19T08:16:09","modified_gmt":"2026-03-19T12:16:09","slug":"spring-2020-sets-and-logic","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/block\/spring-2020-sets-and-logic\/","title":{"rendered":"SPRING 2020, SETS AND LOGIC"},"content":{"rendered":"\r\n
\r\n\t
\r\n\t\t
\r\n\t\t\t
\r\n\t\t\t\t\n

SPRING 2020, SETS AND LOGIC<\/h1>\n\n\n\n

Registration Information<\/h3>\n\n\n\n

Course: MHF3202
\nSection #: 3255
\n5 Digit Class #: 18100
\nMeeting time and place: M,W,F | Period 6<\/span> (12:50 PM – 1:40 PM) FLI 101<\/a><\/span><\/span>
\nInstructor: Louis Block<\/p>\n\n\n\n

Announcements:<\/span><\/strong><\/h3>\n\n\n\n

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.
\n<\/span><\/strong><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-13-2020<\/a><\/p>\n\n\n\n\n\n

Problem Set 1 with hints Spring 2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-16-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-18-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-20-2020<\/a><\/p>\n\n\n\n\n\n

Scan, sets and logic lecture notes 3-23-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-25-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 3-27-2020<\/a><\/p>\n\n\n\n\n\n

Problem Set 2 spring 2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-1-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-3-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-6-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-8-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-10-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-13-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-15-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-17-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-20-2020<\/a><\/p>\n\n\n\n\n\n

Sets and Logic lecture notes 4-22-2020<\/a><\/p>\n\n\n\n

Description and Goals<\/h3>\n\n\n\n

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.<\/p>\n\n\n\n

Text<\/h3>\n\n\n\n

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:
\n<\/span><\/p>\n\n\n\n

\n
\n
\n
\n
\n
https:\/\/www.people.vcu.edu\/~rhammack\/BookOfProof\/<\/a><\/div>\n<\/div>\n<\/div>\n\n
\n

Additional Reference<\/h3>\n

Daniel J. Velleman, How to prove it, a structured approach, second edition, Cambridge University Press, New York, NY 10013.<\/p>\n<\/div>\n\n

\n
\n

Reading and Exercises <\/span><\/h3>\n

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.<\/p>

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.<\/p>\n