证明的

基本解释 (translations)

vindicatory  ·  attestant  ·  attestative  ·  probative  ·  substantiative

与证明的相关的网络例句 [注：此内容来源于网络，仅供参考]

Zero knowledge protocol is a basic method of cryptography,which means that the certifier owns a secret,and it doesn′t reveal any other useful information about the secret to verifier when authenticated.

零知识证明是密码学中的一个基本方法，是指证明者使验证者确信证明者拥有某一个秘密值，而证明者没有向验证者泄漏关于该秘密值的任何有用信息。零知识证明的基本思想。

Objectively speaking, the facts stated in the certificate did exist and such certificate was stamped by the claimants common seal, thus it possessed probative force, no matter what background under which such certificate was issued, or whatever the objective of the certificate was.

不论证明是在何种背景下出台的，也不论该证明的目的是什么，客观上，该证明中所陈述的事实是存在的，并且该证明盖有申请人的公章，具有证明力。

Especially, we study the applications of Jensen inequality of convex function in proving inequalities.

在此基础上，利用凸函数的Jensen不等式，证明了一些应用初等数学知识难以证明的初等不等式，显示出凸函数在不等式证明中的重要性。

And made a comparison between the Han nationality and the BouYei nationality students in learning geometric proof, we sum up the defferences between learning geometric proof abilities and the general proof process.

针对问卷和测查题的定量统计分析和个案定性分析，得出被试学生学习几何证明的一般过程和证明能力发展的差异情况，在此基础上进行了几何证明的微型教改实验，得到以下的结果： 1。

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

CLERK'S OFFICE STATE OF NEW YORK l,the SCHENECTADY COUNTY CLERK ,Clerk of the County of Schenectady ,and also Clerk of the Supreme and County Courts ,being Courts of Record held therein,do hereby certify that michoc'J Love whose name is subscribed to the Certificate of acknowledgment or proof of the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed jurat,,was at the time of taking such acknowledgment,or proof,or of administering such oath oraffirmation ,a Notary Public –commissioner of Deeds in and for said County ,residing therein ,duly commis-sioned and sword and authorized by the laws of the State of Now York to take the acknowledgments an sworn and proofs of deeds of conveyances ,for land,tenements,or heredita-ments and to administer oaths or affirmations in said County ,And further,that I am well acquainted with the handwriting of said officer and verily believe that the signature to said jurat or certificate of acknowledgement or proof is genuine IN TESTIMONY WHEREOF ,I have hereunto set my hand affixed the seal of said Courts and County ,this day of August ,2007 DEPUTY COUNTY CLERK

店员的办公室纽约的州 l，SCHENECTADY 县店员， Schenectady 的县的店员和至高和县法院，作为在其中拿着的记录的法院，的店员也藉此证明那一 michoc'J 名字被订购承认的证书或者被并吞的器具的证明的爱，和在那上面书面，或谁的名字被订购被并吞的器具，和在那上面书面的或谁的名字被订购被并吞的 jurat，，在采取如此的承认或证明的时候，或管理如此的誓约 oraffirmation，公证人民众-行为的委员在和为说的县，在其中住，的确 commis-sioned 和刀剑而且被拿承认的现在省约克的法律授权一宣誓和运输的行为的证明，为土地、房屋或者 heredita-ments 和在说的县中管理誓约或肯定，而且促进，哪一我很好地熟悉说的官员的笔迹而且实在相信签字到说承认或者证明的 jurat 或者证书是真正的在证言，什么的，我已经到此为止设定我的手使说的法院和县的印章附于了，2007 年八月的这天代理人县店员不对举报我得了

I agree the standard of the legal truth in china ,and think the standard of the objective truth ignores the relative truth and the particularity of the lawsuit ;as a idea of justice ,the objective truth couldn't be approached in justiciary practice .

笔者赞同我国应实行法律真实证明标准，认为客观真实证明标准忽视了认识的相对性和诉讼证明的特殊性；作为一种司法理念，客观真实在司法实践中难以实现。

However,To prove Inequality with elementary method,we often create complex computational process. The second ,we will take full advantage of the knowledge of calculus Inquiry Testimony of inequality,and concluded the higher mathematics to prove Inequality several main method and its application conditions.Constructors in the context of the use of the monotone function,Calculus value theorem,function and the most extreme value,integral, it can be a very effective solution to the inequality problem proof. At last,we summed up several convenient and simple way to prove Inequality.It will be play a great role in our problem Solving.

但是用初等方法证明往往会造成复杂的运算过程，本文接着充分利用微积分的知识探究不等式的证明方法，并指出微分学和积分学在不等式的证明的具体应用，那就是在构造函数的背景下运用函数的单调性、微积分中值定理、函数的极值和最值、定积分，那么就可以十分有效地解决不等式中的证明问题，从而归纳出几种方便而又简捷的方法，这样对我们解题将会起到很大的作用。

Upon surrender of this certificate ,which conveys the right of collecting any such loss as fully as if the property were covered by a special policy direct to the holder hereof ,and free from any liability for unpaid premiums.this certificate is subject to all the terms of the open policy,provided,however,that the right of a bona fide holder of this certificate for value shall not be prejudiced by any terms of the open policy which are in conflict with the terms of this certificate.

在这份证明投降，转达权利收集任何如此损失作为充分地，好象物产由一项特别政策于此包括送往持有人，和从任何责任解脱为未付的保险费。这份证明是受开放政策支配的所有期限，假设，然而，那权利这份证明一个诚实的持有人为价值不会由在冲突以这份证明的期限开放政策的任何期限存偏见。

与证明的相关的网络解释 [注：此内容来源于网络，仅供参考]

attestant：证明的 (契据等的)连署人,证人

attest | 证明 | attestant | 证明的 (契据等的)连署人,证人 | attestation clause | 签证条款

certifiable：可证实的,可证明的

certification 证明,证明书 | certifiable 可证实的,可证明的 | certificate 证明书

certifiably：可证明的/(英)疯狂的

certifiable /可证明的/可保证的/可确认的/ | certifiably /可证明的/(英)疯狂的/ | certification /出证明/

unproved：未证明的

unprovable proposition 可证明命题 | unproved 未证明的 | unsolvable 可解的

well-tried：经过多次试验证明的、经试验证明有用的

well-trained crew熟练人员 | well-tried经过多次试验证明的、经试验证明有用的 | Westinghouse thickness gauge 西屋X射线厚度计

undemonstrable：无法证明的, 难以证明的

alley stone 矾石 | undemonstrable 无法证明的, 难以证明的 | infinite body 无限物体

certificated：具有证明文件的 立有证据的 业经证明的

certificated teacher || 正式教员 | certificated || 具有证明文件的 立有证据的 业经证明的 | certificates of indebtedness || 一年期公债, 公债券, 国库券, 借据

certificated：持有合格证书的, 持有证明的 (形)

certificate of deposit 存款单 | certificated 持有合格证书的, 持有证明的 (形) | certification 证明; 保证; 检定 (名)

Demonstrated：已证明的

Demonstrate 演示证明 | Demonstrated 已证明的 | Demonstrated Past Experience 已证明的过去经验

documentary intangibles：有权利证明的无形财产

choses in action 已经被司法程序执行了的动产(例如,财产保全等),可依法赢得但未占有的动... | documentary intangibles 有权利证明的无形财产 | discounting of non-documentary receivables 对应收的无权利证明财产的...