查询词典 proof

Yet, the BPI is strictly weaker than the axiom of choice, though the proof of this statement is rather non-trivial.

但是 BPI 严格的弱于选择公理，尽管这个陈述的证明是非常不平凡的。

It is known that all of these statements are consequences of the axiom of choice ( the easy proof makes use of

已知所有这些陈述都是选择公理的推论

If ever you needed proof about that old Los Angeles sports axiom, this is your ticket.

如果你曾经想要洛杉矶的古老运动史，这是你的事。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

The Elements begin with plane geometry , still taught in secondary school as the first axiomatic system and the first examples of formal proof .

在过去的二千年的形容词"欧"是不必要的，因为没有其他类型的几何已经设想。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

So, in the absence of any further proof, I think the two missing Death Eaters are Nott and the baby-faced Death Eater, whom I believe to be Crabbe.

因此，在缺乏任何进一步证据的情况下，我认为两个不见的食死徒是诺特和婴儿头的食死徒——我相信是克拉布。

Result proof, because can be calculated accurately to large scale backset, big eddy imitate compares S-A model to have taller precision on computation of function of pneumatic of wind energy conversion system.

结果证实，由于能够对大尺度涡流精确计算，大涡模拟比S-A模型在风力机气动性能计算上具有更高的精度。

A verifier can be convinced that the committed number x is neither less than the integer a nor more than the integer baiter the protocol is operated only once, and hence the exact proof that x lies in the interval is achieved.

为了去掉这种方法上的重复性，通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议，协议运行一次便可使验证者确信承诺值x位于区间中。

"In the context of an adjudication (the forum in which time claims are increasingly heard) the watershed analysis of one provides the best balance of proof within a manageable budget and timeframe."

在专家评审中（越来越多的工期索赔的案件采用这种争议解决方式），使用分界线分析法可以控制时间和预算的平衡之中为案件找到解决方法。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐