MATH 7840

MATH 7840

Course information provided by the Courses of Study 2014-2015.

Covers theory of effectively computable functions; classification of recursively enumerable sets; degrees of recursive unsolvability; applications to logic; hierarchies; recursive functions of ordinals and higher type objects; generalized recursion theory.

When Offered Fall.

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Sat/UnSat

  •  6113 MATH 7840   LEC 001

  • Instruction Mode: