MAT 4930,  Section 1B41
MAT 6932, Section 18D1
MWF 8th (3:00-3:50), Little 203

Instructor: Douglas Cenzer

Office: 358 Little Hall, 294-2313
Email: cenzer@ufl.edu
Internet: www.people.clas/cenzer
Office Hours: M 7th, W 3d, F 4th, and by appointment.

Topics: Computability, Effectively Closed Sets, Computable Analysis, Computable Model Theory

REFERENCES

D. Cenzer and J. Remmel, Effectively Closed Sets

Handbook of Recursive Mathematics, articles by Harizanov, Ko

M. Pour-El, Computability in Analysis and Physics

K. Weihrauch, Computable Analysis

GRADING

Grades will be based on class participation

UF Policies:

Information on current UF grading policies for assigning grade points can be found here.

Requirements for class attendance, make-up exams, assignments and other work in this course are consistent with university policies that can be found here.

University Policy on Accommodating Students with Disabilities: Students requesting accommodation for disabilities must first register with the Disability Resource Center. Once registered, students will receive an accomodation 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.

University Policy on Academic Misconduct: Academic honesty and integrity are fundamental values of the University community. Students should be sure that they understand the Honor Code.