递归论-递归论

《递归论》，此词条收录于01/20，仅供参考

      递归论，是数理逻辑的一个分支。它是一门研究递归涵数及其推广的学科。递归函数是数论函数的一种，其定义域与值域都是自然数集。只是由于构作函数方法的不同而有别于其他的数论涵数。将定义域推广到不限于自然数集时，便是所谓广义的递归函数。