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

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

数学科技名词

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

数学 第8页
科技名词学科详情
完全性completeness数学 > 数理逻辑数学基础详情
模型完全性model completeness数学 > 数理逻辑数学基础详情
可满足性satisfiability数学 > 数理逻辑数学基础详情
可定义性definability数学 > 数理逻辑数学基础详情
可表示性representability数学 > 数理逻辑数学基础详情
膨胀expansion数学 > 数理逻辑数学基础详情
斯科伦函数Skolem function数学 > 数理逻辑数学基础详情
斯科伦壳Skolem hull数学 > 数理逻辑数学基础详情
斯科伦佯谬Skolem paradox数学 > 数理逻辑数学基础详情
降L-S定理downward Loewenheim-Skolem theorem数学 > 数理逻辑数学基础详情
内插定理interpolation theorem数学 > 数理逻辑数学基础详情
量词消去elimination of quantifier数学 > 数理逻辑数学基础详情
初等等价[的]elementarily equivalent数学 > 数理逻辑数学基础详情
子结构substructure数学 > 数理逻辑数学基础详情
子模型submodel数学 > 数理逻辑数学基础详情
初等子结构elementary substructure数学 > 数理逻辑数学基础详情
初等子模型elementary submodel数学 > 数理逻辑数学基础详情
模型链chain of model数学 > 数理逻辑数学基础详情
型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数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供数学科技名词,数学科学技术名词,数学科技名词大全,数学科技名词术语,数学科技名词有哪些,数学科技名词的翻译
科学技术名词出版物
查看全部