axiomatize [,æksi'ɔmətaiz]
- axiomatize的基本解释
-
vt.
使公理化
- 相关中文词汇
- 使公理化
- 拼写相近单词
- axiomatization
- 更多网络例句与axiomatize相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Among many other things, he is famous for his attempt to axiomatize mathematics.
在许多其他事情，他是有名的企图公理化数学。
-
Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.
虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。
-
The Gai Tian cosmic mode of "Zhou Bi's Calculation Book" is an eligible attempt to axiomatize the theories in ancient China.
指出《周髀算经》中的盖天宇宙模式是中国古代一次完全够格的公理化尝试。
-
Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.
在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。
- 更多网络解释与axiomatize相关的网络解释 [注：此内容来源于网络，仅供参考]
-
axiomatize：公理化
axiomatization 公理化 | axiomatize 公理化 | axioms of congruence 叠合公理
-
axiomatize：使公理化
axiomatics | 公理体系 公理学 | axiomatize | 使公理化 | axis based error | 轴线误差