Winter 2012 Offerings

No courses found

Other Course Information

Prerequisites
Mathematics 745 or permission of instructor.

Description
Incompleteness and undecidability; basic recursion theory; Turing machines, Church's thesis, recursive and recursively enumerable sets, Turing degrees, and the arithmetical hierarchy.

Credits
3

Quarters Offered
Winter