Foundations of Mathematics
MHF 4203 (3216) and MHF 5207 (3217)

Instructor

Name: Jean A. Larson
Office: 406 Little Hall
Email: jal@math.ufl.edu
Tentative Office Hours: M 7th period,
W 9th period, F 2nd period and by appointment.
Text: Foundations of Mathematics by Kunen

Class resources

• Syllabus
• UF Evaluations site
• Calendar (under development)
• logical and set theoretic symbols
• Greek alphabet
• Cenzer-Larson notes on Foundations of Mathematics

University policies and resources

• Student Honor Code and Student Conduct Code
• Avoiding Plagarism: a guide for students
• Attendence Policies from the Undergraduate Catalog
• Grading Policies posted by the Registrar
• Mathematics Department Policy on Incompletes
• Disability Resources
• Americans with Disabilities Act Compliance
• Math Department Courses page (list of tutors for hire, etc.)