分类:递归论

维基百科,自由的百科全书

跳转到: 导航, 搜索

本范畴涉及递归论,也叫做可计算性理论,它是与可计算函数概念的推广有关的数理逻辑分支,并与图灵度这样的概念有关。

子类

本分类在本页面中有2个子分类,总计2个子分类。

J

L

个人工具