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

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

数学名词

数学名词审定委员会 审定

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

ISBN: 7-03-003739-1

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

数学名词 第5页
科技名词学科详情
摹状算子description operator数学 > 数理逻辑数学基础详情
命题演算propositional calculus数学 > 数理逻辑数学基础详情
命题代数algebra of propositions数学 > 数理逻辑数学基础详情
命题变元propositional variable;sentential variable数学 > 数理逻辑数学基础详情
命题函数propositional function数学 > 数理逻辑数学基础详情
联结词connective数学 > 数理逻辑数学基础详情
逻辑乘法logical multiplication数学 > 数理逻辑数学基础详情
合取[词]conjunction数学 > 数理逻辑数学基础详情
合取项conjunct数学 > 数理逻辑数学基础详情
逻辑加法logical addition数学 > 数理逻辑数学基础详情
析取[词]disjunction数学 > 数理逻辑数学基础详情
析取项disjunct数学 > 数理逻辑数学基础详情
互斥析取exclusive disjunction数学 > 数理逻辑数学基础详情
否定[词]negation数学 > 数理逻辑数学基础详情
逻辑等值logically equivalent数学 > 数理逻辑数学基础详情
范式normal form数学 > 数理逻辑数学基础详情
合取范式conjunctive normal form数学 > 数理逻辑数学基础详情
析取范式disjunctive normal form数学 > 数理逻辑数学基础详情
排中律law of excluded middle数学 > 数理逻辑数学基础详情
赋值valuation数学 > 数理逻辑数学基础详情
真假值truth value数学 > 数理逻辑数学基础详情
真值truth数学 > 数理逻辑数学基础详情
假值falsity数学 > 数理逻辑数学基础详情
真假值函数truth function数学 > 数理逻辑数学基础详情
真假值表truth table数学 > 数理逻辑数学基础详情
重言式tautology数学 > 数理逻辑数学基础详情
一阶逻辑first-order logic数学 > 数理逻辑数学基础详情
谓词predicate数学 > 数理逻辑数学基础详情
谓词演算predicate calculus;functional calculus数学 > 数理逻辑数学基础详情
谓词变元predicate variable数学 > 数理逻辑数学基础详情
科学技术名词为您提供数学名词,数学名词科技名词,数学名词科学技术名词,数学名词科技名词大全,数学名词科学技术名词大全,数学名词科技名词有哪些,数学名词科技名词翻译