本范畴涉及递归论,也叫做可计算性理论,它是与可计算函数概念的推广有关的数理逻辑分支,并与图灵度这样的概念有关。
本分类在本页面中有2个子分类,总计2个子分类。
本分类在本页面中有18个条目,总计18个。