Cookie Policy Terms and Conditions >
本范畴涉及递归论,也叫做可计算性理论,它是与可计算函数概念的推广有关的数理逻辑分支,并与图灵度这样的概念有关。
该分类中有1个子类。
这个分类中有24个条目。
页面分类: 數理邏輯 | 计算机逻辑