教育资源公共服务平台
站内导航
公共查询科学技术名词递归论
数学数理逻辑数学基础

递归论科技名词 递归论科学技术名词 递归论科技名词大全 递归论科技名词术语 递归论科技名词有哪些 递归论科技名词的翻译

递归论科技名词

递归论 第1页
科技名词学科详情
递归论recursion theory数学 > 数理逻辑数学基础详情
丘奇论题Church thesis数学 > 数理逻辑数学基础详情
哥德尔配数法Go&4&del numbering数学 > 数理逻辑数学基础详情
分层hierarchy数学 > 数理逻辑数学基础详情
有限自动机finite automaton数学 > 数理逻辑数学基础详情
可接受标号acceptable indexing数学 > 数理逻辑数学基础详情
配对pairing数学 > 数理逻辑数学基础详情
可解性solvability数学 > 数理逻辑数学基础详情
正规算法normal algorithm数学 > 数理逻辑数学基础详情
通用函数universal function数学 > 数理逻辑数学基础详情
不可解性unsolvability数学 > 数理逻辑数学基础详情
λ演算λ-calculus;lambda-calculus数学 > 数理逻辑数学基础详情
λ可定义函数λ-definable function;lambda- -definable function数学 > 数理逻辑数学基础详情
原始递归性primitive recursiveness数学 > 数理逻辑数学基础详情
能行可计算性effective calculability数学 > 数理逻辑数学基础详情
能行性effectiveness数学 > 数理逻辑数学基础详情
原始递归式primitive recursion数学 > 数理逻辑数学基础详情
μ算子μ-operator;mu-operator数学 > 数理逻辑数学基础详情
递归函数recursive function数学 > 数理逻辑数学基础详情
递归集recursive set数学 > 数理逻辑数学基础详情
递归可枚举集recursively enumerable set数学 > 数理逻辑数学基础详情
递归性recursiveness数学 > 数理逻辑数学基础详情
博雷尔分层Borel hierarchy数学 > 数理逻辑数学基础详情
丢番图关系Diophantine relation数学 > 数理逻辑数学基础详情
超算术hyperarithmetic数学 > 数理逻辑数学基础详情
计算复杂性computational complexity数学 > 数理逻辑数学基础详情
容许序数admissible ordinal数学 > 数理逻辑数学基础详情
超跃变hyperjump数学 > 数理逻辑数学基础详情
容许集admissible set数学 > 数理逻辑数学基础详情
算术谓词arithmetical predicate数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 | 上一页 下一页
科学技术名词为您提供递归论科技名词,递归论科学技术名词,递归论科技名词大全,递归论科技名词术语,递归论科技名词有哪些,递归论科技名词的翻译
科学技术名词出版物
查看全部