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

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

数学名词

数学名词审定委员会 审定

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

ISBN: 7-03-003739-1

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

数学名词 第7页
科技名词学科详情
type数学 > 数理逻辑数学基础详情
型省略定理omitting types theorem数学 > 数理逻辑数学基础详情
进退构造back and forth construction数学 > 数理逻辑数学基础详情
不可辨元indiscernible数学 > 数理逻辑数学基础详情
原子[语]句atomic sentence;primitive sentence数学 > 数理逻辑数学基础详情
原子公式atomic formula数学 > 数理逻辑数学基础详情
原子理论atomic theory数学 > 数理逻辑数学基础详情
原子模型atomic model数学 > 数理逻辑数学基础详情
素模型prime model数学 > 数理逻辑数学基础详情
饱和模型saturated model数学 > 数理逻辑数学基础详情
万有模型universal model数学 > 数理逻辑数学基础详情
极小模型minimal model数学 > 数理逻辑数学基础详情
齐次模型homogeneous model数学 > 数理逻辑数学基础详情
范畴性categoricity数学 > 数理逻辑数学基础详情
稳定性stability数学 > 数理逻辑数学基础详情
分叉forking数学 > 数理逻辑数学基础详情
莫利定理Morley theorem数学 > 数理逻辑数学基础详情
可靠性soundness数学 > 数理逻辑数学基础详情
递归结构recursive structure数学 > 数理逻辑数学基础详情
容许结构admissible structure数学 > 数理逻辑数学基础详情
形式化算术formalized arithmetic数学 > 数理逻辑数学基础详情
抽象模型论abstract model theory数学 > 数理逻辑数学基础详情
非标准分析non-standard analysis数学 > 数理逻辑数学基础详情
无穷小infinitesimal数学 > 数理逻辑数学基础详情
无穷小分析infinitesimal analysis数学 > 数理逻辑数学基础详情
希尔伯特计划Hilbert program数学 > 数理逻辑数学基础详情
直觉主义逻辑intuitionist logic数学 > 数理逻辑数学基础详情
构造性constructivity数学 > 数理逻辑数学基础详情
构造论者constructivist数学 > 数理逻辑数学基础详情
直觉主义数学intuitionistic mathematics数学 > 数理逻辑数学基础详情
科学技术名词为您提供数学名词,数学名词科技名词,数学名词科学技术名词,数学名词科技名词大全,数学名词科学技术名词大全,数学名词科技名词有哪些,数学名词科技名词翻译