- e-mail: hoeij@math.fsu.edu
- URL: http://www.math.fsu.edu/~hoeij
- 211 LOV.
- Office hours: MWF 10:30-11:30. You are welcome during other hours as well.

**Location:** 200 LOV

**Time:** MWF 1:25-2:15

**Instructor:** Dr. Mark van Hoeij

**Grading:**
There will be three tests during the semester, and one final test.
The final exam is scheduled for Tuesday, April 22, 5:30 - 7:30 pm
(click here
for the schedule of all finals).
Each of these four tests will account for 20% of the final grade.
The remaining 20% of the grade will be determined by homework and quizzes.

**Exam policy:** There will be no makeup tests or quizzes.
A missed test can only be excused *before* the day of the test, and you
will need a good reason with proof.
When a missed test is excused, the grade of the test will be the same as the
grade on your final.
A missed test will not be excused on or after the day of the test, and a non-excused
missed test means zero points.

**Course objectives:**
This course is designed to assist in the transition from computation-oriented mathematics
to the proof-based framework of most of advanced mathematics.
We will begin with the study of propositional logic via truth tables,
and proceed to the set theory that most working mathematicians need to
know in their daily work. Topics will
include functions and relations, infinite cardinal and ordinal numbers,
uncountability, transfinite arithmetic, the
Axiom of Choice and Zorn's Lemma.
Emphasis in this course will be on learning to write clear proofs.

**Honor code:**
copy of the University Academic Honor Code can be found in the current Student Handbook. You are bound by
this in all of your academic work. It is based on the premise that each student has the responsibility to 1) uphold the highest
standards of academic integrity in the student's own work, 2) refuse to tolerate violations of academic integrity in the University
community, and 3) foster a sense of integrity and social responsibility on the part of the University community.

**ada statement:**
Students with disabilities needing academic accommodations should: 1) register with and provide documentation
to the Student Disability Resource Center (SDRC); 2) bring a letter to the instructor from SDRC indicating you need academic
accommodations. This should be done within the first week of class. This and other class materials are available in alternative
format upon request.