This is MAA 4203/5207, Section 3216/3217
- Foundations of Mathematics
MWF Period 7 (1:55-2:45),
Grinter 101
Instructor: Douglas Cenzer
Office: 310 Little Hall, 392-0281, extension 262.
Email: cenzer@math.ufl.edu
Topics include the basic concepts of mathematical logic, including proofs, models, and Godel's Incompleteness Theorem, as well as units on the foundations of geometry, number theory, algebra, analysis, set theory, and computer science.
Students should be comfortable with abstract mathematics or logic through previous classes such as Sets and Logic (MHF 3202), Set Theory MHF 4102/5107, or Abstract Algebra (MAS 4103).
Notes from a work-in-progress by Cenzer and Larson will be provided
Tuesday 7th, Wednesday 4th, Friday 6th, and by appointment.
Course grades will be determined by your performance on
homework, hourly exams, and class participation,
with these point values:
Homework 50 Participation 50 In--class Exams 100 Total 200
Grades will be assigned according to this scale:
A 170 - 200 B+ 160 - 169 B 140 - 159 C+ 130 - 139 C 110 - 129
Class Participation: Students are expected to present a significant part of the material in the form of problems. Each problem will be worth a total of 8 points for presentation together with written report. One point will be awarded each day for attendance.
Homework: There will be a written assignment with each chapter worth from 6 to 8 points.
Examinations: We will have two hour--long
exams in class. Each hour exam will be worth 50 points.
The hour exams are tentatively scheduled for these dates:
Exam 1 -- Friday, February 21 and
Exam 2 -- Wednesday, April 16.
This page was last modified on February 10, 1997