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

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

数学名词

数学名词审定委员会 审定

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

ISBN: 7-03-003739-1

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

数学名词 第8页
科技名词学科详情
强度strength数学 > 数理逻辑数学基础详情
相对相容性relative consistency数学 > 数理逻辑数学基础详情
算术化arithmetization数学 > 数理逻辑数学基础详情
算术系统arithmetic system数学 > 数理逻辑数学基础详情
元理论metatheory数学 > 数理逻辑数学基础详情
元逻辑metalogic数学 > 数理逻辑数学基础详情
元语言metalanguage数学 > 数理逻辑数学基础详情
独立性independence数学 > 数理逻辑数学基础详情
元数学metamathematics数学 > 数理逻辑数学基础详情
可判定性decidability数学 > 数理逻辑数学基础详情
形式不可判定命题formal undecidable proposition数学 > 数理逻辑数学基础详情
判定问题decision problem数学 > 数理逻辑数学基础详情
截规则cut rule数学 > 数理逻辑数学基础详情
集合论set theory数学 > 数理逻辑数学基础详情
描述集合论descriptive set theory数学 > 数理逻辑数学基础详情
朴素集合论naive set theory数学 > 数理逻辑数学基础详情
公理化集合论axiomatic set theory数学 > 数理逻辑数学基础详情
策梅洛-弗兰克尔集合论Zermelo-Frankel set theory数学 > 数理逻辑数学基础详情
直谓集合论predicative set theory数学 > 数理逻辑数学基础详情
非直谓集合论impredicative set theory数学 > 数理逻辑数学基础详情
外延性extensionality数学 > 数理逻辑数学基础详情
确定性determinacy数学 > 数理逻辑数学基础详情
投影确定性projective determinacy数学 > 数理逻辑数学基础详情
佐恩引理Zorn lemma数学 > 数理逻辑数学基础详情
选择公理axiom of choice数学 > 数理逻辑数学基础详情
选择函数choice function数学 > 数理逻辑数学基础详情
归纳序集inductive ordered set数学 > 数理逻辑数学基础详情
连续统continuum数学 > 数理逻辑数学基础详情
连续统假设continuum hypothesis数学 > 数理逻辑数学基础详情
广义连续统假设generalized continuum hypothesis数学 > 数理逻辑数学基础详情
科学技术名词为您提供数学名词,数学名词科技名词,数学名词科学技术名词,数学名词科技名词大全,数学名词科学技术名词大全,数学名词科技名词有哪些,数学名词科技名词翻译