{"id":2116,"date":"2019-07-29T13:32:30","date_gmt":"2019-07-29T17:32:30","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/block\/?page_id=2116"},"modified":"2026-03-19T08:16:09","modified_gmt":"2026-03-19T12:16:09","slug":"sets-and-logic-fall-2019","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/block\/sets-and-logic-fall-2019\/","title":{"rendered":"Fall 2019, SETS AND LOGIC"},"content":{"rendered":"\r\n<section class=\"fullwidth-text-block\">\r\n\t<div class=\"container px-0 pt-5\">\r\n\t\t<div class=\"row align-items-start\">\r\n\t\t\t<div class=\"col-12\">\r\n\t\t\t\t\n<h1 class=\"wp-block-heading\">Fall 2019, SETS AND LOGIC<\/h1>\n\n\n\n<h3 class=\"wp-block-heading\">Registration Information<\/h3>\n\n\n\n<p>Course: MHF3202<br>\nSection: 139A<br>\n5 Digit: 19958<br>\nMeeting time and place: M W F 5 LIT 207<br>\nInstructor: Louis Block<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Office Hours For Final Exam Questions (in Little 478)<\/h3>\n\n\n\n<p>Friday, December 6, 1:00PM &#8211; 2:30PM<\/p>\n\n\n\n\n\n<p>Monday, December 9, 1:30PM &#8211; 3:30PM<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Description and Goals<\/h3>\n\n\n\n<p>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<h3 class=\"wp-block-heading\">Text<\/h3>\n\n\n\n<p><span class=\"rpHighlightAllClass rpHighlightSubjectClass\" tabindex=\"-1\" role=\"heading\">The text for this section is the online book, &#8220;Book of Proof&#8221; (third edition) by Richard Hammack. This may be downloaded for free. Here is a link:<br>\n<\/span><\/p>\n\n\n\n<div role=\"region\">\n<div id=\"Item.MessagePartBody\" class=\"_rp_y3\" role=\"region\">\n<div id=\"Item.MessageUniqueBody\" class=\"_rp_z3 ms-font-weight-regular ms-font-color-neutralDark rpHighlightAllClass rpHighlightBodyClass\" tabindex=\"0\" role=\"button\">\n<div class=\"rps_aaf1\">\n<div>\n<div class=\"PlainText\"><a href=\"https:\/\/www.people.vcu.edu\/~rhammack\/BookOfProof\/\" target=\"_blank\" rel=\"noopener\">https:\/\/www.people.vcu.edu\/~rhammack\/BookOfProof\/<\/a><\/div>\n<\/div>\n<\/div>\n\n<div>\n<h3>Additional Reference<\/h3>\n<p>Daniel J. Velleman, How to prove it, a structured approach, second edition, Cambridge University Press, New York, NY 10013.<\/p>\n<\/div>\n\n<div class=\"rps_aaf1\">\n<div>\n<h3><span class=\"rpHighlightAllClass rpHighlightSubjectClass\" tabindex=\"-1\" role=\"heading\">Reading and Exercises <\/span><\/h3>\n<p>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>\n<ul>\n<li>August 21, 23, 26: Read Chapter 1. Study the following exercises: Section 1.1, Problems 1 &#8211; 38, Sections 1.2, Problems 1 &#8211; 8, Section1.3, Problems 1 &#8211; 12, Section 1.4, Problems 1 &#8211; 12, Section 1.5, Problems 1 &#8211; 4, Section 1.7, Problems 1 &#8211; 4, Section 1.8, Problems 1 &#8211; 10. <span style=\"color: #ff0000\">Quiz 1 will be on these problems<\/span>.<\/li>\n<li>August 28, 30, September 4: Read Chapter 2. Study the following exercises: Section 2.1, Problems 1 &#8211; 10, Section 2.2, Problems 1 &#8211; 10, Section 2.3, Problems 1 &#8211; 8, Section 2.4, Problems 1 &#8211; 4, Section 2.5, Problems 1 &#8211; 11, Section 2.6, 1-14, <del>Section 2.7, 1 &#8211; 10<\/del>. <span style=\"color: #ff0000\">Quiz 2 will be on these problems.<\/span><\/li>\n<li><strong><span style=\"color: #ff0000\">** Due to the cancellation of class on September 4, the date for Quiz 2 is changed. The new date is Monday September 9.<\/span><\/strong><\/li>\n<li>September 9, 11: Exercises: <span style=\"color: #3366ff\">Section 2.7<\/span>, Problems 1 &#8211; 10, <span style=\"color: #3366ff\">Section 2.9<\/span>, Problems 1, 2, 3, 5, 6, 7, 9, 10. <span style=\"color: #3366ff\">Section 2.10<\/span>, Problems 1 &#8211; 6 and 8, 9, 10. <span style=\"color: #ff0000\">Quiz 3 will be on these problems.<\/span><\/li>\n<li>September 13, 16, 18: Read Chapter 4. Exercises: Problems 1 &#8211; 19, 24, 26 on page 126. <span style=\"color: #ff0000\">Quiz 4 will be on these problems.<\/span><\/li>\n<li>September 20, 23, 25, Read chapter 5. Exercises: Problems 1 &#8211; 20 on page 136.<\/li>\n<li><span style=\"color: #ff0000\">Note: Exam 1 on Friday, September 27 will be on the material above.<\/span><\/li>\n<li>September 30 and October 2. Read Chapter 6. Exercises: Page 144 # 3 &#8211; 11, 13 -18.<\/li>\n<li>October 7 and October 9. Read Chapter 7. Exercises: Page 155 &#8211; 156 # 3 &#8211; 18, 21 &#8211; 25, 28 &#8211; 32. <strong><span style=\"color: #ff0000\">Also, see the link for Problem Set 1 below.<\/span><\/strong><\/li>\n<li>October 14 and October 16. Read Chapter 8. Exercises: Page 171 # 1 &#8211; 9, 13, 15,17, 19, 21 &#8211; 29. <span style=\"color: #ff0000\"><strong>Also, see the link for Problem Set 2 below.<\/strong><\/span><\/li>\n<li>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.<\/li>\n<li>October 25 and October 28. Read Chapter 10. Exercises: Page 195 # 1, 2, 5, 9, 11, 12, 13, 14, 16.<\/li>\n<li>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.<\/li>\n<li>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.<\/li>\n<li>November 13. Read Section 12.2. Exercises: Page 232 # 1, 3, 5, 7, 11, 12, 13, 14, 18.<\/li>\n<li>November 15. Read Section 12.3. Exercises: Page 235 # 1, 2. Read Section 12.4. Exercises: Page 238 # 1, 3, 5, 7, 9. <span style=\"color: #ff0000\"><strong>Also, see the link for Problem Set 4 below.<\/strong><\/span><\/li>\n<li><span style=\"color: #000000\">November 18. Read Section 12.5. Exercises: Page 241 # 1, 4, 5, 7, 8, 9, 10. <\/span><\/li>\n<li>November 20. Read Section 12.6. Exercises: Page 243 # 1, 5, 6, 7, 8, 9, 11, 12.<\/li>\n<li>November 22. Read Section 14.1. Exercises: Page 274 # 1, 4, 5, 12, 13, 16.<\/li>\n<\/ul>\n<\/div>\n<div>\n<h3>Grades<\/h3>\n<p>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.\u00a0 The final exam will be given during the regular final exam period for this section:<\/p><!--PARAGRAPH_SEPARATOR--><p>Final Exam: 12\/10\/2019 @ 12:30 PM &#8211; 2:30 PM<\/p><!--PARAGRAPH_SEPARATOR--><p>Grades will be assigned according to the following:<\/p><!--PARAGRAPH_SEPARATOR--><p>A: 180-200\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 A-: 175-179\u00a0\u00a0\u00a0\u00a0\u00a0 B+: 170-174\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 B: 160-169\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 B-: 155-159<br>\nC+: 150-154 \u00a0\u00a0 C: 140-149\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 C-: 135-139\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 D+: 130-134 \u00a0 \u00a0 D: 120-129<\/p>\n<h3>Tentative (<span style=\"color: #993366\">updated<\/span>) Schedule for exams, quizzes, and problem sets:<\/h3>\n<ul>\n<li>August 28: Quiz 1 on Chapter 1.<\/li>\n<li><del>September 6:<\/del> Quiz 2 (<span style=\"color: #000000\">date changed to September 9<\/span>)<\/li>\n<li>September 13: Quiz 3 on Chapter 2.<\/li>\n<li>September 20: Quiz 4 on Chapter 4.<\/li>\n<li>September 27: Exam 1 on Chapters 1, 2, 4, 5.<\/li>\n<li>October 14: Problem Set 1 due.<\/li>\n<li>October 21: Problem Set 2 due.<\/li>\n<li>November 1: Exam 2 on Chapters 6, 7, 8, 9, 10.<\/li>\n<li>November 15: Problem Set 3 due.<\/li>\n<li><span style=\"color: #ff0000\"><strong>November 25: Problem Set 4 due.<\/strong><\/span><\/li>\n<li><span style=\"color: #ff0000\"><strong>December 10\u00a0 @ 12:30 PM &#8211; 2:30 PM: Final Exam<\/strong><\/span><\/li>\n<\/ul>\n<\/div>\n<\/div>\n<div>\n<h3>Course Policies:<\/h3>\n<ul>\n<li>Closed-book policy: No use of calculators, or books will be allowed during any in-class exams.<\/li>\n<li>Policy related to make-up exams: Written medical documentation is required for make-up exams.<\/li>\n<li>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.<\/li>\n<li>\n<h3>Additional Information and Links:<\/h3>\n<p><strong>Grades:<\/strong> Grading will be in accord with the UF policy stated at <a href=\"https:\/\/catalog.ufl.edu\/ugrad\/current\/regulations\/info\/grades.aspx\">https:\/\/catalog.ufl.edu\/ugrad\/current\/regulations\/info\/grades.aspx.<\/a><\/p><!--PARAGRAPH_SEPARATOR--><p><strong>Honor Code:\u00a0\u201c<\/strong>UF students are bound by The Honor Pledge which states, \u201cWe, 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: \u201cOn my honor, I have neither given nor received unauthorized aid in doing this assignment.\u201d The <a href=\"http:\/\/www.dso.ufl.edu\/sccr\/process\/student-conduct-honor-code\/\">Honor Code<\/a> 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.\u201d<\/p><!--PARAGRAPH_SEPARATOR--><p><strong>Class Attendance: <\/strong>\u201cRequirements for class attendance and make-up exams, assignments, and other work in this course are consistent with university policies that can be found at: <a href=\"https:\/\/catalog.ufl.edu\/ugrad\/current\/regulations\/info\/attendance.aspx\">https:\/\/catalog.ufl.edu\/ugrad\/current\/regulations\/info\/attendance.aspx.<\/a>\u201d<\/p><!--PARAGRAPH_SEPARATOR--><p><strong>Accommodations for Students with Disabilities:<\/strong> \u201cStudents with disabilities requesting accommodations should first register with the Disability Resource Center (352-392-8565, <a href=\"https:\/\/www.dso.ufl.edu\/drc\/\">https:\/\/www.dso.ufl.edu\/drc\/<\/a>) 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.\u201d<\/p><!--PARAGRAPH_SEPARATOR--><p><strong>Online Evaluations:<\/strong> \u201cStudents 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\u00a0<a href=\"https:\/\/gatorevals.aa.ufl.edu\/students\/\">https:\/\/gatorevals.aa.ufl.edu\/students\/<\/a>. 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\u00a0<a href=\"https:\/\/urldefense.proofpoint.com\/v2\/url?u=https-3A__ufl.bluera.com_ufl_&amp;d=DwMFAg&amp;c=sJ6xIWYx-zLMB3EPkvcnVg&amp;r=y2HjEMjRMHJhfdvLrqJZlYczRsfp5e4TfQjHuc5rVHg&amp;m=WXko6OK_Ha6T00ZVAsEaSh99qRXHOgMNFRywCoehRho&amp;s=itVU46DDJjnIg4CW6efJOOLgPjdzsPvCghyfzJoFONs&amp;e=\">https:\/\/ufl.bluera.com\/ufl\/<\/a>. Summaries of course evaluation results are available to students at\u00a0<a href=\"https:\/\/gatorevals.aa.ufl.edu\/public-results\/\">https:\/\/gatorevals.aa.ufl.edu\/public-results\/<\/a>.\u201d<\/p><!--PARAGRAPH_SEPARATOR--><p><strong>Contact information for the Counseling and Wellness Center:<\/strong> <a href=\"https:\/\/counseling.ufl.edu\/\">https:\/\/counseling.ufl.edu\/<\/a>, 392-1575; and the University Police Department: 392-1111 or 9-1-1 for emergencies.<\/p><\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":306,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-2116","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/pages\/2116","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/users\/306"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/comments?post=2116"}],"version-history":[{"count":11,"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/pages\/2116\/revisions"}],"predecessor-version":[{"id":2626,"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/pages\/2116\/revisions\/2626"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/block\/wp-json\/wp\/v2\/media?parent=2116"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}