MATH 6840

MATH 6840

Course information provided by the Courses of Study 2021-2022.

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.

Comments Offered alternate years.

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  •  7759 MATH 6840   LEC 001

    • TR Malott Hall 206
    • Aug 26 - Dec 7, 2021
    • Nerode, A

  • Instruction Mode: In Person