首页 词典
首页词典递归论
dì guī lùn

递归论

  • 拼音dì guī lùn
  • 注音ㄉㄧˋ ㄍㄨㄟ ㄌㄨㄣˋ
  • 词语解释

    递归论[ dì guī lùn ]

    递归论(Recursion theory)是数理逻辑的重要分支之一,研究解决问题的可行的计算方法和计算的复杂程度的一门学科,尤其是研究递归函数及其推广。递归论研究的函数主要包括本原函数、原始递归函数、递归半函数和递归全函数或称一般递归函数、可摹状函数等等。