| 词条 | 递归论 |
| 类别 | 中文百科知识 |
| 释义 | 递归论分类：【文化精萃】 又称“递归函数论”、“能行性理论”，指主要用数学方法研究“可构造性”、“能行可计算性”或“能行过程”的学科。各种递归函数本身的构造也是它研究的重要方面。它既属于数理逻辑的一个分支学科，又属于基础数学的一个分支学科。 递归论的主要内容包括原始递归函数，一般递归函数，部分递归函数，递归可枚举性，判定问题，递归不可解性理论，a可递归论，谱系理论等。 递归论的主要方法是通过对数论函数的研究，揭示能行过程的本质，从而解决许多重要的数学问题。递归论对数论函数的研究从原始递归函数开始，进而推广为一般递归函数，并发现一般递归函数与能行可计算函数是可以相互定义的，凡是有一个计算过程或一个算法可以将函数值计算出来的函数都是一般递归函数。 递归论所研究的数论函数都是有精确的数学定义，定义是以递归的方式进行的。例如，用递归定义式定义“斐博那奇函数”如下： |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。