MATH 7840

Last Updated

  • Schedule of Classes - July 10, 2025 1:15PM EDT
  • Course Catalog - June 11, 2015 6:21PM EDT

MATH 7840
Recursion Theory

Course information provided by the 2014-2015 Catalog.

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: In Person