查询词典 axiom

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas."

在这样的系统中，一条定理即是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式

Based on LML theory frame and its algebraic model, geometric model and learning axiom systems, going for further study, this paper presented orbits generated algorithm of learning subspace in LML and applied it to corresponding examples, such as classify of human, chemical composition of wine and eight data sets including Soybean-Large, etc.

本文在李群机器学习的理论框架上，以李群机器学习的代数模型、几何模型、学习的公理系统为基础作进一步研究，给出了李群机器学习的学习子空间轨道生成算法，将该算法应用于人群分类，葡萄酒化学成分分类以及大豆等八个专用数据集的分类，取得了满意的结果。

Often abbreviated as GIGO, this is a famous computer axiom meaning that if invalid data is entered into a system, the resulting output will also be invalid.

您想要观赏如未婚妻一般美丽而贞洁的自然风光，请您春天来吧；您想要平复您心灵上涔涔流血的伤口，请您晚秋再去那里吧。

This is a broad statement of the Hermetic axiom -"As above, so below".

这是赫密斯公理的概括陈述——"以下，如上"。

For instance, when we are in university, we are could consider affairs using our thoughts, but the professors impart us the theories in academic field just by telling us this one is an axiom and always be true and that theory is a heterodox..

实际上你这个原因和前面那个没有本质差别，只不过是一个原因的两个实例而已，你要有抽象的思维罗辑，其实，正规教育的局限性在于传教者的能力和水平。

The theorems of Ibn al-Haytham, Omar Khayyam and Nasir al-Din al-Tusi on quadrilaterals , including the Lambert quadrilateral and Saccheri quadrilateral , were the first theorems on elliptical geometry and hyperbolic geometry , and along with their alternative postulates, such as Playfair's axiom , these works had a considerable influence on the development of non-Euclidean geometry among later European geometers, including Witelo , Levi ben Gerson , Alfonso , John Wallis , and Giovanni Girolamo Saccheri .

定理伊本Haytham，欧玛尔海亚姆和纳西尔基地丁铝土司上quadrilaterals ，包括德兰伯特四边形和萨凯里四边形，是第一个椭圆形的几何定理和双曲几何，并连同其替代假设，如普莱费尔的公理，这些作品有相当发展的影响非欧几里德几何之间稍后欧洲geometers ，包括Witelo ，列维本格森，阿方索，约翰瓦利斯和乔瓦吉罗拉莫萨凯里。

In§1.2, after some necessary preparation on dynamical systems, we introduce the concepts of hyperbolicity and Axiom A for flows.

在§1.2中，在介绍了一些动力系统的必要知识后，我们对流引入了双曲性与公理A的概念，并且不加证明地罗列了一些与此有关的结果。

I have been nearly mad ; and you know the axiom,--non bis in idem

我是几乎发过疯，您知道有一句格言说'一事不重现。

The notion of immanence occupies so large a place in contemporary philosophy that many make an axiom of it.

概念的内涵中占有如此大的一个地方，在当代哲学的许多作公理的。

Finally,by applying a ran-dom version of Kifer's large deviation theorem and the volume lemma,we prove thelevel-1 LDT for randomly perturbed Axiom A attractors of diffeomorphisms withrespect to the Lebesgue measure.

最后，利用Kifer的大偏差定理的随机版本和体积引理，我们证明了微分同胚的公理A吸引子的随机扰动系统相对Lebesgue测度的level-1 LDT。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。