article

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

數理邏輯 | 计算机逻辑

Category:Recursion_theory

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Category:递归论".

Home Pageartsbusinesscomputersgameshealthhospitalshomekids & teensnewsphysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld