MHF 3202 Sets and Logic

  • InstructorSergei S. Pilyugin
  • Course web page: https://people.clas.ufl.edu/pilyugin/courses/mhf3202_f2019/
  • Calendar and homeworks: https://people.clas.ufl.edu/pilyugin/courses/mhf3202_f2019_calendar/
  • Announcements: Quiz 3 will be given on Friday 10/25, it will cover mathematical induction.
    I do not use CANVAS. This page will be the only online source for this course. All announcements will be posted here.
  • Prerequisites: Any 2000+ level UF math course with a minimum grade of C.
  • Time and Room: MWF 4 (10:40-11:30 a.m.), LIT 223.
  • Textbook: Book of Proof, third edition, by Richard Hammack. The pdf is also available here.
  • Critical dates: Aug. 20 classes begin, Dec. 04 classes end. Midterm exams: Sep. 13, Oct. 11, Nov. 01 and Nov. 25. Quizzes will be announced in class.
  • Holidays: Sep. 02 Labor Day, Oct. 04-05 Homecoming, Nov. 11 Veterans Day, Nov. 27-30 Thanksgiving break.
  • Make ups: Dec. 11, 8:30 — 9:30 am in LIT 223.
  • Office Hours: MWF 6 (12:50-1:40 p.m.) in LIT 458, or by appointment made 24 hours in advance. Please, call me at 352-294-2326 or use e-mail: pilyugin@ufl.edu for communication. For more details, see my schedule.
  • Description and Objectives of the Course: This course is an introduction to the formal language of mathematics. The goal is to learn how to read, understand and write your own rigorous and precise mathematical arguments. You may be familiar with most of the factual content discussed in the examples, but the novelty is the mathematical rigor and the skill of formal writing.
  • Grading System: There will be four midterms (each worth 20%) and six quizzes (each worth 5%, the best four count). There will be no make-up exams, rather a replacement for any one midterm can be taken at the time scheduled for the final.  The letter grade is determined according to the following table
    Letter Grade
    A
    A-
    B+
    B
    B-
    C+
    C
    C−
    D+
    D
    Score 100 – 93 92 – 88 87 – 83 82 – 74 73 – 69 68 – 64 63 – 59 58 – 54 53 – 49 48 – 40
  • Course policies:
  • Closed-book policy: The use of notes or books will not be allowed during midterms/quizzes.
  • Grading disputes: Any issues or questions about the grading of exams must be brought to the instructor’s attention within one week after the exams are returned to the class.
  • Excused absences: In certain circumstances a student will be able to make up a missed exam. These circumstances could include medical situations, family emergencies, travel for University activities (eg. band, debating club, etc), and religious observances. In these cases the student must inform the instructor before or within one week after the missed work and provide written documentation.
  • Policy on 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
    Most students benefit a great deal from attending class regularly. Arriving late and/or leaving early, reading the newspaper, looking at your cell phone, etc. disrupts the class and is rude and unprofessional.
  • UF 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 or TA’s in this class.”
  • 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 based on 10 criteria. These evaluations are conducted online 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.