教育资源公共服务平台
站内导航

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

数学 第9页
科技名词学科详情
齐次模型homogeneous model数学 > 数理逻辑数学基础详情
范畴性categoricity数学 > 数理逻辑数学基础详情
稳定性stability数学 > 数理逻辑数学基础详情
分叉forking数学 > 数理逻辑数学基础详情
莫利定理Morley theorem数学 > 数理逻辑数学基础详情
可靠性soundness数学 > 数理逻辑数学基础详情
递归结构recursive structure数学 > 数理逻辑数学基础详情
容许结构admissible structure数学 > 数理逻辑数学基础详情
形式化算术formalized arithmetic数学 > 数理逻辑数学基础详情
抽象模型论abstract model theory数学 > 数理逻辑数学基础详情
非标准分析non-standard analysis数学 > 数理逻辑数学基础详情
无穷小infinitesimal数学 > 数理逻辑数学基础详情
无穷小分析infinitesimal analysis数学 > 数理逻辑数学基础详情
希尔伯特计划Hilbert program数学 > 数理逻辑数学基础详情
直觉主义逻辑intuitionist logic数学 > 数理逻辑数学基础详情
构造性constructivity数学 > 数理逻辑数学基础详情
构造论者constructivist数学 > 数理逻辑数学基础详情
直觉主义数学intuitionistic mathematics数学 > 数理逻辑数学基础详情
抽象[化]abstraction数学 > 数理逻辑数学基础详情
佩亚诺公理Peano axiom数学 > 数理逻辑数学基础详情
数学归纳法mathematical induction数学 > 数理逻辑数学基础详情
二阶算术second-order arithmetic数学 > 数理逻辑数学基础详情
数词可表示性numeralwise representability数学 > 数理逻辑数学基础详情
可驳[的]refutable数学 > 数理逻辑数学基础详情
ω相容性ω-consistency;omega- consistency数学 > 数理逻辑数学基础详情
不可证明性unprovability数学 > 数理逻辑数学基础详情
强度strength数学 > 数理逻辑数学基础详情
相对相容性relative consistency数学 > 数理逻辑数学基础详情
算术化arithmetization数学 > 数理逻辑数学基础详情
算术系统arithmetic system数学 > 数理逻辑数学基础详情
科学技术名词为您提供数学科技名词,数学科学技术名词,数学科技名词大全,数学科技名词术语,数学科技名词有哪些,数学科技名词的翻译
科学技术名词出版物