Fall 2013 MATH 227A 001 LEC

Theory of Recursive Functions
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECMWF 1-2P 81 EVANSMONTALBAN, A54450
Units/CreditFinal Exam GroupEnrollment
4NONELimit:30 Enrolled:7 Waitlist:0 Avail Seats:23 [on 10/27/13]
Additional Information: 

Prerequisites: 225B.

Syllabus: Recursive and recursively enumerable sets of natural numbers; characterizations, significance, and classification. Relativization, degrees of unsolvability. The recursion theorem. Constructive ordinals, the hyperarithmetical and analytical hierarchies. Recursive objects of higher type. Sequence begins fall.

Office: 

Office Hours: 

Required Text: 

Recommended Reading: 

Grading: 

Homework: 

Course Webpage: