教育资源公共服务平台
站内导航
科技名词出版物

数学名词 数学名词科技名词 数学名词科学技术名词 数学名词科技名词大全 数学名词科学技术名词大全 数学名词科技名词有哪些

数学名词

数学名词审定委员会 审定

科学出版社 / 1993年出版 / ¥36.00

ISBN: 7-03-003739-1

本书是全国自然科学名词审定委员会公布的数学名词。全书分通类,数理逻辑、数学基础,组合学、一般数学系统,代数学、代数几何学,分析学,微分方程、积分方程,泛函分析,几何学、拓扑学,概率论、数理统计,数值分析,运筹学,信息论、控制论等12部分,共8862条词。这些名词均系科研、教学、生产、经营以及新闻出版等部门使用的数学规范词。

数学名词 第10页
科技名词学科详情
马洛基数Mahlo cardinal数学 > 数理逻辑数学基础详情
不可达基数inaccessible cardinal数学 > 数理逻辑数学基础详情
可达性accessibility数学 > 数理逻辑数学基础详情
大基数large cardinals数学 > 数理逻辑数学基础详情
可测基数measurable cardinal数学 > 数理逻辑数学基础详情
0#zero-sharp数学 > 数理逻辑数学基础详情
0+zero-dagger数学 > 数理逻辑数学基础详情
聚合conglomerate数学 > 数理逻辑数学基础详情
对角线方法diagonal argument;diagonal method数学 > 数理逻辑数学基础详情
递归论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数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供数学名词,数学名词科技名词,数学名词科学技术名词,数学名词科技名词大全,数学名词科学技术名词大全,数学名词科技名词有哪些,数学名词科技名词翻译