教育资源公共服务平台
站内导航
公共查询科学技术名词模型论
数学数理逻辑数学基础

模型论科技名词 模型论科学技术名词 模型论科技名词大全 模型论科技名词术语 模型论科技名词有哪些 模型论科技名词的翻译

模型论科技名词

模型论 第3页
科技名词学科详情
受囿量词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数学 > 数理逻辑数学基础详情
内插定理interpolation theorem数学 > 数理逻辑数学基础详情
量词消去elimination of quantifier数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 | 上一页 下一页
科学技术名词为您提供模型论科技名词,模型论科学技术名词,模型论科技名词大全,模型论科技名词术语,模型论科技名词有哪些,模型论科技名词的翻译
科学技术名词出版物
查看全部