递归论(Recursion theory)是数理逻辑的重要分支之一,研究解决问题的可行的计算方法和计算的复杂程度的一门学科,尤其是研究递归函数及其推广。递归论研究的函数主要包括本原函数、原始递归函数、递归半函数和递归全函数或称一般递归函数、可摹状函数等等。
【递的意思】:递(遞) dì(ㄉ一ˋ) (一)、传送,传达:传递。投递。递送。递交。递眼色(以目示意)。呈递国书。 详情>
【归的意思】:归(歸) guī(ㄍㄨㄟ) (一)、返回,回到本处:归国。归程。归侨。归宁(回娘家看望父母)。归省( 详情>
【论的意思】:论(論) lùn(ㄌㄨㄣˋ) (一)、分析判断事物的道理:论断。论点。论辩。论据。论者。议论。讨论。 详情>