查询词典 proving

Afterwards, this article deals with the making and functions of heroic rhetorical fantasy based on some language materials; the absolute authority rhetorical fantasy created by recessive heroic discouse; the ideal model rhetorical fantasy created by dominant heroic discouse, possessing the functions of paradigm, instruction and dedication; the shaping allegory of rhetorical fantasy created by hero's absolutory discouse; the shaping allegory rhetorical fantasy created by future-hero's absolutory, possessing the functions of proving and punishing; the value identification rhetorical fantasy created by sub-hero's confiding discouse, possessing the functions of assisting, exposing evil and carrying forward good; the background metaphor rhetorical fantasy created by pan-hero's praising discouse, possessing the functions of receiving kindness and worship; the opposite symbolic rhetorical fantasy created anti-hero's foolish discouse.

接着，结合语料对"英雄"修辞幻象的生成与功能进行梳理：隐性英雄的语录式话语生成"绝对权威"的修辞幻象，并具有全面控制的功能；显性英雄的号召式话语生成"理想样板"的修辞幻象，并具有楷范功能、教谕功能和献身功能；准英雄的忏悔式话语生成"成长寓言"的修辞幻象，并具有迷误功能、证明功能和惩戒功能；亚英雄的倾诉式话语生成"价值认同"的修辞幻象，并具有协助功能、显恶功能和扬善功能；泛英雄的颂扬式话语生成"背景隐喻"的修辞幻象，并具有受恩功能和崇拜功能；反英雄的愚狂式话语生成"对立符码"的修辞幻象，并具有反衬功能。

Therefore,in order to simplify the proving process of these inequalities.Though reading a lot of relevant resource,we begin with the basic concept of math,and use an ingenious way――probabilistic method, which means that according to the main features of inequality theory,combining the basic concepts and formulas of probability,through creating one suitable probability model,giving some concrete meanings of random events or random variables,proving through probability theory,we discuss the Cauchy inequality,Class inequality,Jensen inequality,and several common inequality's proofs.

因此，为了简化这些不等式的证明过程，通过阅读大量的相关资料，本文从数学的基本概念入手，运用了1种巧妙的方法——概率方法，即根据不等式的主要特征，结合概率论的1些基本概念和公式，通过建立1个适当的概率模型，赋以1些随机事件或随机变量的具体含义，再利用概率论的理论加以证明，讨论了柯西不等式，级数不等式，詹森不等式和几个1般不等式的证明。

The details of proving the completeness theorem of formula system L~*, which is given by Prof. Wang, are reviewed, and the proving of strong completeness about L~* is analyzed and revised.

考察了形式系统*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于*系统强完备性证明中的错误并给出了一个全新的修正证明。

Nor can it be said that this argument fails by proving too much -- by proving, that is, that the pope should be impeccable, or at least that he should be a saint, since, if the Church must be holy in order to overcome the gates of hell, the example and inspiration of holiness ought to be given by him who is the visible foundation of the Church's indefectibility.

也不能说这种说法未能证明太多-证明，即教宗应是完美无瑕的，或者至少他应该是一个圣人，这是因为，如果教会必须圣地，以克服地狱之门，例如与启示成圣的应该给予他谁是有形的基础，教会的

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

What is discussed in this paper is on the applications of the integral upper limit function in proving the equality, proving the inequality, calculating the repeated integral , the theorem of integratl mean value , prove the theorem of differention mean value .

给出了积分上限函数在证明等式和不等式、算累次积分、明微分中值定理和积分中值定理中的应用。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

The proving of the negative fact is important part in the law suit proving and is an important means to vindicate the party rights and interests.

消极事实的证明是诉讼证明的重要组成部分，是诉讼当事人维护自身权益的重要途径。

However, proving axisymmetry for the Onsager model is still very difficult, at least for two reasons: The first is that we lack methods for proving axisymmetry, even though there are method for proving radial symmetry or translation invariance.

但是，证明了Onsager模型轴对称仍然是非常困难的，至少有两个原因：第一，我们缺乏证明轴对称的方法，即使是证明辐射对称或平移不变性的方法。

To study english well is a procedure of learning and self-proving.

学习英语是一个良好的学习和自我程序proving.I有coviction，英语学习是一个一般的方法是一个更好的人。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了