Fall 2015 MATH 227A 001 LEC

Theory of Recursive Functions
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECMWF 1-2P 2 EVANSMONTALBAN, A54488
Units/CreditFinal Exam GroupEnrollment
412: WEDNESDAY, DECEMBER 16, 2015 7-10PLimit:28 Enrolled:6 Waitlist:0 Avail Seats:22 [on 10/04/15]
Additional Information: 

Prerequisites: Mathematics 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: