... recursion theorem 递归定理 recursion theory 递归理论 recursive algorithm 递归算法 ...
基于150个网页-相关网页
...递归论(Recursion theory)是数理逻辑的重要分支之一，研究解决问题的可行的计算方法和计算的复杂程度的一门学科，尤其是研究递归涵数及其推广。
基于146个网页-相关网页
higher recursion theory 高型递归论
classical recursion theory 经典递归论
undecidable problems in recursion theory 不可判定的递归论问题
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动