英语人>网络例句>existence proof 相关的网络例句
existence proof相关的网络例句

查询词典 existence proof

与 existence proof 相关的网络例句 [注:此内容来源于网络,仅供参考]

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos theorem for convex bodies in higher dimensional Euclidean spaces,. Here, we will give an independent proof of the existence for inequality (2.1.3), and by the way, give an estimate on the width of the bi-enclosing annulus of closed convex curves in the plane.

具体地讲,在第一部分中,首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文),Bonnesen在文[12]中先证明了较弱的不等式(2.1.2),几年以后,在他的著作[13]中,讨论了多种Bonnesen型不等式,其中包括不等式(2.1.3),不过,他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论,我们这里对不等式(2.1.3)给出独立的存在性证明,并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

Kant's proof of the moral faith is itself not a rigorous testification of God's existence, but a plead for the necessity and rationality of believing in God.

康德对道德信仰的论证本身并不是对于上帝存在的严格的证明,而是对于信仰上帝必要性与合理性的辩护。

So when an early writer shows his familiarity with them, quotes them as authoritative and as evidently well known to his readers, it may be taken as a proof not only of the existence and widespread knowledge of the Epistles, but that the writer took them for what they claim to be, genuine Epistles of St. Paul; and if the writer lived in the time of Apostles, of Apostolic men, of disciples of Apostles, and of Timothy and Titus (as did Ignatius, Polycarp, and Clement) we may be sure that he was correct in doing so.

因此,当早期的作家表明他熟悉他们,他们是权威的报价和明显众所周知他的读者,可以作为证据,不仅存在和广泛的知识的书信,但作者把他们的他们声称,真正的书信圣保罗;如果作家生活在使徒的时候,男人的使徒,使徒的门徒和蒂莫和提图斯(伊格内修一样,波利卡普,和克莱门特),我们可能可以肯定,他是正确的这样做。

So when an early writer shows his familiarity with them, quotes them as authoritative and as evidently well known to his readers, it may be taken as a proof not only of the existence and widespread knowledge of the Epistles, but that the writer took them for what they claim to be, genuine Epistles of St. Paul; and if the writer lived in the time of Apostles, of Apostolic men, of disciples of Apostles, and of Timothy and Titus (as did Ignatius, Polycarp, and Clement) we may be sure that he was correct in doing so.

因此,当早期的作家表明他熟悉他们,他们报价的权威性和明显众所周知,他的读者,可以作为一个证明不仅存在和广泛的知识,书信,但作者把他们的他们声称,真正的书信的圣保罗,如果作者生活在使徒时,男子的使徒的弟子门徒,以及霍震霆和提图斯(伊格内修一样,波利卡普,并克莱门特)我们可以可以肯定,他是正确的这样做。

Commercial radio and TV provide an "existence proof" of a working superdistribution system in which the copies are disseminated free and the stations only pay for what they use.

同样,商业电台和电视台也为这种有效的超级散布提供了一个&存在性证明&。因为拷贝的流传是免费的,而电台和电视台只要为它们所用到的那些拷贝来付钱就好了。

Commercial radio and TV provide an "existence proof" of a working superdistribution system in which the copies are disseminated free and the stations only pay for what they use.

商业电台和电视台为超级分发系统提供了&存在性证明&。该系统自由分发拷贝,电台和电视台只为它们使用的那些拷贝付钱。

Anselm's ontological argument is the only theistic proof to proceed a priori, that is, by reflection on the concept of God alone, with no reference to such external evidence as the existence or nature of the world.

安瑟伦的本体论的论点是唯一的有神论证明进行先验,即是由反射对的概念,只有上帝,没有提到这样的外部证据的存在或性质的世界。

This paper, starting to explain the definition and the analysis of Utopia, through Utopian ideas outside of Utopia or the development of the spirit of Utopia, persisting in the scientific theory of Marxism, mainly studies the value of Utopia and the beneficial inspiration of ideal society. Not only positively inquired about the Utopia and the society develop the objective law conjunction spot, also to the Utopia knew on misinterprets even is the misunderstanding proposes the question and the reply. Finally the ultimate objective which develops the Utopia meaning and the society is persons full scale development organic synthesis, and the establishment to the scientific attitude which positively develops the good and discard the bad enriches the Utopia thought connotation, simultaneously unceasingly gives the proof in the society historic course, for the impetus Utopia development future trend, then fundamentally will reject its own existence all sorts unreasonable factor, will enable the Utopia this society ideal perfect design to have the possibility under the situation which the humanity will progress which the reality will transform.

本文拟从乌托邦的原始解读入手,运用例证法、引证法、对比法、定义法、演绎法和归纳法,通过乌托邦思想史的历史溯源,以马克思主义的唯物史观和科学社会主义等理论为依据,全面剖析乌托邦正反两方面的价值性,在着力探讨乌托邦合理成分转化为理想的可能性基础之上,就乌托邦的取舍问题提出个人的见解,最后再将乌托邦置于当前社会发展的背景下,按照构建和谐社会乃至和谐世界的总体要求,对进一步澄清关于乌托邦的模糊认识,并使乌托邦走出历史发展中的误区注入新的血液和营养,从而能够真正发挥乌托邦人性关怀的精神救赎作用,实现乌托邦理性光芒与马克思关于人的全面发展的思想的高度统一,为不断促进人的全面发展提供更加美好和更加广阔的希望空间。

So it seems as if Leibniz has a three-line proof from PIS to the non-existence of contingent truths.

因此,好像莱布尼茨有三线从私立证明非队伍的真理存在。

Due to the existence of counterfeit cigarette, the cigarette factories and tobacco monopoly administrations use many forgery-proof measures.

由于劣质假冒香烟的存在,卷烟企业和烟草专卖管理部门采用了多种防伪措施。

第33/50页 首页 < ... 29 30 31 32 33 34 35 36 37 ... > 尾页
相关中文对照歌词
Livin' Proof
Lovin' Proof
Gravitational Constant: G = 6.67x10-8 cm-3gm-1sec-2
Common Existence
Living Proof
Just Rhymin Wit Proof
The Proof Of Your Love
Proof
Lovin' Proof
Love Is The Only Proof
推荐网络例句

As a dominant party,CPC government should play a guardian,supervisee and guarantee role to overcome all the difficulties in the development of charitable cause and bring it into full play in the establishment of harmonious society on policies and regulations basis.

在中国共产党的文献中第一次把发展慈善事业提到&最广泛最充分地调动一切积极因素,不断提高构建社会主义和谐社会的能力&的高度来认识。近年来,社会学界对慈善事业的理论专著发表较多,有鉴于此,笔者不揣浅陋,谈谈自己的认识和见解。

Flow through the land, the land of the scale of operation allows the effectiveness of the land may be raised.

通过土地的流转,土地的规模经营可以让土地的效益得到提升。

This is known as broker assisted trading and some brokers offer options like Interactive Voice Response System for placing orders by telephone and wireless trading systems for making orders by using web-enabled cellular phones or other handheld devices.

这是被称为经纪人协助交易和一些经纪人提供选项如交互式语音应答系统下订单的电话及无线交易系统,为决策命令,利用可上网手机或其他手持装置上。