教育资源公共服务平台
站内导航
公共查询科学技术名词数学

数学科技名词 数学科学技术名词 数学科技名词大全 数学科技名词术语 数学科技名词有哪些 数学科技名词的翻译

数学科技名词

数学科技名词：数学通类数理逻辑数学基础组合学一般数学系统代数学分析学微分方程泛函分析几何学概率论数值分析运筹学信息论

数学 第7页
科技名词学科详情
谓词演算predicate calculus;functional calculus数学 > 数理逻辑数学基础详情
谓词变元predicate variable数学 > 数理逻辑数学基础详情
函数符号function symbol数学 > 数理逻辑数学基础详情
常项constant数学 > 数理逻辑数学基础详情
自由变元free variable数学 > 数理逻辑数学基础详情
个体变元individual variable数学 > 数理逻辑数学基础详情
量词quantifier数学 > 数理逻辑数学基础详情
存在量词existential quantifier数学 > 数理逻辑数学基础详情
全称量词universal quantifier数学 > 数理逻辑数学基础详情
非标准量词non-standard quantifier数学 > 数理逻辑数学基础详情
约束变量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数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供数学科技名词,数学科学技术名词,数学科技名词大全,数学科技名词术语,数学科技名词有哪些,数学科技名词的翻译
科学技术名词出版物
查看全部