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

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

数学名词

数学名词审定委员会 审定

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

ISBN: 7-03-003739-1

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

数学名词 第6页
科技名词学科详情
约束变量bound variable数学 > 数理逻辑数学基础详情
约束出现bound occurrence数学 > 数理逻辑数学基础详情
受囿量词bounded quantifier数学 > 数理逻辑数学基础详情
前束词prefix数学 > 数理逻辑数学基础详情
前束范式prenex normal form数学 > 数理逻辑数学基础详情
语句sentence数学 > 数理逻辑数学基础详情
逻辑表达式logical expression数学 > 数理逻辑数学基础详情
闭公式closed formula数学 > 数理逻辑数学基础详情
替换replacement数学 > 数理逻辑数学基础详情
代入substitution数学 > 数理逻辑数学基础详情
理论theory数学 > 数理逻辑数学基础详情
全域universe数学 > 数理逻辑数学基础详情
高阶逻辑high order logic数学 > 数理逻辑数学基础详情
多种类谓词演算many sorted predicate calculus数学 > 数理逻辑数学基础详情
无穷逻辑infinitary logic数学 > 数理逻辑数学基础详情
一阶理论first-order theory数学 > 数理逻辑数学基础详情
结构structure数学 > 数理逻辑数学基础详情
模型model数学 > 数理逻辑数学基础详情
非标准模型non-standard model数学 > 数理逻辑数学基础详情
相容性consistency数学 > 数理逻辑数学基础详情
完全性completeness数学 > 数理逻辑数学基础详情
模型完全性model completeness数学 > 数理逻辑数学基础详情
可满足性satisfiability数学 > 数理逻辑数学基础详情
可定义性definability数学 > 数理逻辑数学基础详情
可表示性representability数学 > 数理逻辑数学基础详情
膨胀expansion数学 > 数理逻辑数学基础详情
斯科伦函数Skolem function数学 > 数理逻辑数学基础详情
斯科伦壳Skolem hull数学 > 数理逻辑数学基础详情
斯科伦佯谬Skolem paradox数学 > 数理逻辑数学基础详情
降L-S定理downward Loewenheim-Skolem theorem数学 > 数理逻辑数学基础详情
科学技术名词为您提供数学名词,数学名词科技名词,数学名词科学技术名词,数学名词科技名词大全,数学名词科学技术名词大全,数学名词科技名词有哪些,数学名词科技名词翻译