axioms
英[]
美[]
- n. [数]公理;公设;原理(axiom 的复数)
双语例句
- 1. Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
- 它的概念模糊而不可测试,但却被认为是公理而无懈可击。
youdao
- 2. Axioms are the base of geometry.
- 各项公理是几何学的基础。
youdao
- 3. Those axioms apply around the globe.
- 这些原理全球适用。
youdao
- 4. Axioms which are assumed truths, and.
- 公理(axioms),假定的真理。
youdao
- 5. My aunt is full of copy-book axioms .
- 我的姑妈张口就是字贴上的格言。
youdao
- 6. The principle is explicated into three axioms.
- 这一原理可以分析成三条公理。
youdao
- 7. These historical axioms must now be questioned.
- 这些长期以來人们捧为圭臬的原则,现在都必须加以质疑。
youdao
- 8. As I mentioned before, proofs use axioms and theorems to make their case.
- 如前所述,证明以公理和定理做为其论据。
youdao
- 9. theorems which are statements about the program inferred from the axioms.
- 定理(theorems)由公理推论得到的关于程序的陈述。
youdao
- 10. Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
- 以欧几里德的公理为基础对点、线、角、面和立体的研究。
youdao
- 11. Design principles are the axioms by which we can control and organise a space.
- 设计原则是公理,使我们可以控制和组织空间。
youdao
- 12. Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
- 试验,结果,样本空间,事件,机率,机率公理。
youdao
- 13. Finally, the common logic coverage criteria are assessed against the axioms system.
- 最后通过这组公理系统来评估现有的逻辑覆盖测试准则。
youdao
- 14. Renata Salecl unpicks these axioms of modern life in a short and thought-provoking book.
- Renata Salecl在一篇短小但颇具思想启发性的书中,对现代生活的这些原理做了剖析。
youdao
- 15. For a couple of simple axioms, design for everything to be split, and think BASE, not ACID.
- 还有两条简单的原则:把每样东西都设计成分离的;考虑BASE、而不是ACID。
youdao
- 16. Often the existence axioms of classic in the differential calculus square distance can't use.
- 常微分方程中经典的存在性定理不能使用。
youdao
- 17. Here, I will I am the secret behind the three axioms of thought and understanding to tell you.
- 下面,我将我对这三个公理背后的秘密的思考和理解告诉大家。
youdao
- 18. At the end of this chapter, we weaken the layer separations, introduce the ultra-separation axioms.
- 作为本章的最后一部分,我们把层分离性进一步弱化,提出了超分离性公理。
youdao
- 19. Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
- 其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析。
youdao
- 20. We can use these axioms and the usual properties of equality to establish additional properties of integers.
- 我们使用这些公理,以及方程的常见属性来构建整数其他的属性。
youdao
- 21. In the parsing some grammatical knowledge i. e. the four axioms of the Dependency Grammar (dg) are used also.
- 在句法分析中我们也用到了语法知识,即依存语法四公理。
youdao
- 22. Of all that we have inherited from the nineteenth century, only certain axioms about time have passed largely unquestioned.
- 在我们从十九世纪继承下来的遗产中,关于时间,只有少数几个特定的公理是大致尚未遭到质疑的。
youdao
- 23. This paper demonstrates what boundary axioms are and the condition under which boundary axioms equal the axioms of open sets.
- 首先给出边界公理的定义,然后证明边界公理与开集公理的条件等价。
youdao
- 24. Mathematical models differ in an important aspect from other models: mathematics create, by defining axioms, a universe of their own.
- 数学模型有别于其他模型的重要一点就是:数学通过定义公理来创造属于自己的世界。
youdao
- 25. Mathematicians typically justify their fundamental axioms, in particular those of set theory, by informal appeals to the imagination.
- 数学家就是个典型,他们会通过想象来证实基本原理尤其是集合论。
youdao
- 26. A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
- 在基于与给定查询相关的事实与公理的基础上,给出了演绎数据库的一个产生式推理方法。
youdao
- 27. Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
- 其次,我们建立命题型的择类语义,给出描述上述系统的特征公理的框架条件。
youdao
- 28. Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
- 其次,我们建立命题型的择类语义,给出描述上述系统的特征公理的框架条件。
youdao
百度翻译
有道翻译