s24-mhf3202-syllabus

MHF 3202 Sets and Logic

Spring 2024

Class number Period Meeting Time Room
15335 MWF 4th 10:40 – 11:30 LIT 223

Professor Alexandre Turull

480 Little Hall
(352) 392-0281 ext 243
turull@ufl.edu

Office Hours

Monday Tuesday Wednesday Thursday Friday
11:45 – 12:35 11:45 – 12:35 11:45 – 12:35

 

Also by appointment

Prerequisites:

A UF math course at the 2000 level or above with a minimum grade of C.

Textbook:

The book of proof, by R. Hammack, third edition.

Content:

This course is an introduction to rigorous mathematics.  Mathematics is based on precise statements, precise meaning, and precise proofs.  The course is an introduction to this basic point of view.

A major emphasis will be on writing mathematics precisely and clearly. Proofs will be an important part of this course.

The catalogue’s description of this course is: Examples of sets, operations on sets, set algebra, Venn diagrams, truth tables, tautologies, applications to mathematical arguments and mathematical induction. Taking one, but not both, of MAS 3300 or MHF 3202 is required of mathematics majors. MHF 3202 can also be very useful for prospective and in-service secondary and middle school teachers. (M)

Format:

Lectures. Reading and homework will be assigned and discussed in class.

You are expected to participate in classroom discussions.

Homework will be assigned regularly and discussed in class.
Homework will not be graded. There will be frequent quizzes.

Tests:

There will be four tests and a final exam. The dates appear in the course calendar.

Quizzes:

There will be frequent quizzes.

Final grade:

4 tests 240
final 100
quizzes 60
Total 400
A ≥ 360 C ≥ 280
A- ≥ 346 C- ≥ 266
B+ ≥ 333 D+ ≥ 253
B ≥ 320 D ≥ 240
B- ≥ 306 D- ≥ 226
C+ ≥ 293 E < 226

Students with disabilities

Students with disabilities requesting accommodations should first register with the
Disability Resource Center (352-392-8565, https://disability.ufl.edu/) 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.

Attendance policy

Students are expected to attend class regularly.

The UF policy on attendance is here: https://catalog.ufl.edu/ugrad/current/regulations/info/attendance.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 (http://www.dso.ufl.edu/sccr/process/student-conduct-honor-code/) specifies a number of behaviors that are in violation of this code and the possible sanctions. Furthermore, you are obliged to report any condition that facilitates academic misconduct to appropriate personnel. If you have any questions or concerns, please consult with the instructor of this class.

 

Course evaluation

Students 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 https://gatorevals.aa.ufl.edu/students/. 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 https://ufl.bluera.com/ufl/. Summaries of course evaluation results are available to students at https://gatorevals.aa.ufl.edu/public-results/.

Website:

https://people.clas.ufl.edu/turull/s24-mhf3202-syllabus