查询词典 proofs

A good example of this was the machine-aided proof of the four color theorem, which was very controversial as the first claimed mathematical proof which was essentially impossible to verify by humans due to the enormous size of the program's calculation (such proofs are called non-surveyable proofs).

一个很好的例子，这是机器辅助证明了四色定理，这是非常具有争议的第一人数学证明基本上是无法核实由于人类的巨大规模，该项目的计算（如证明是所谓非surveyable证明）。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Nevertheless, the absence of clear stipulation on which proofs shall fall into the scope of the said proofs from such law may lead to difficulties in real legal practice. For instance it may remains a question that whether the salary sheet, the proof of the worker's salary standard, falls into the said scope.

但是对于哪些证据属于由用人单位掌握管理的与仲裁请求有关的证据，《劳动争议调解仲裁法》没有明确规定，这可能引发实务中不好操作的难题。

Provisions concerning proofs of civil procedure released by supreme people's court has been put in force since April 1st,2002,which symbols rule of eliminating illegal proofs and standards have established in our civil procedure in due form.

20 0 2年4月1日起施行的《最高人民法院关于民事诉讼证据的若干规定》标志着我国民事诉讼中的非法证据排除规则和判断标准得以正式确立。

It is true of course -- and no Theist denies it -- that for the proper intellectual appreciation of theistic proofs moral dispositions are required, and that moral consciousness, the sthetic faculty, and whatever other powers or capacities belong to man's spiritual nature, constitute or supply so many data on which to base inferential proofs.

这是事实，当然-没有者予以否认-这是为了适当的智力赞赏有神论证明道德的处分规定，而且道德意识， s thetic学院，也不论其他权力或能力，是属於人的精神世界的性质，构成或供应，使许多数据所依据的关於推理论证。

These thinkers usually admit that objective evidence (mircales, proofs of God, prophecies) is important in the apologetic task, but they insist that unregenerate man cannot be converted by mere exposure to proofs because sin has seriously weakened human reason.

这些思想家通常承认客观证据（ mircales ，证明上帝的预言），是重要的，在道歉的任务，但他们坚持认为unregenerate人不能被转换，由单纯接触到的证据，因为单已被严重削弱人体的理由。

In this paper,by the means of the properties of the differential calculous,the authors had obtained the proofs of the generalizations of the two basic inequalities;and the apply of the differential calculus in the proofs of inequalities.

本文主要介绍高等数学知识———微积分的一些基本性质在证明不等式中的应用，利用微分法证明了中学最重要的两个基本不等式的推广形式和一道奥赛

A set of postulates which are applicable to the analysis of proofs in general and the proofs of accountability in particular, are proposed.

一套postulates所适用的分析论证，在一般的举证责任在特别的建议。

For example: preliminary after ICC salting digital proofs and traditional gravure printing proofs are still slightly compared to the relatively igniarius, then you can reduce the corresponding area of the curve Y output values to the overall effect of partial yellow correction.

在经过ICC开端校色后，数码样弛与古板瘪印样弛比拟，还来不详不正黄，那么，不离可以堵住贬低Y弧线差应地区的不输入值，来把零体不正黄的成果更正过来了。

For example, after a preliminary IC C salting digital proofs and traditional gravure printing proofs are still slightly compared to the relatively igniarius, then you can reduce the corresponding area of the curve Y output values to the overall effect of partial yellow correction.

在经过IC C 开端校色后，数码样弛与古板瘪印样弛比拟，还来不详不正黄，那么，不离可以堵住贬低Y 弧线差应地区的不输入值，来把零体不正黄的成果更正过来了。

" I' d like to get some rough idea about music in the baroque ear, please."

请简要介绍一下巴罗克时期的音乐，好吗？

The results showed that the peak latency and pattern of SEPs elicited by electrical needling in LI-l1 and MP were similar. The amplitude of SEPs elicited by electrical needling in LI-l1 was higher than that of MP. There was no obvious SEPs generation when MM was electrical needling.

结果显示，电针刺激曲池穴和其邻近桡侧伸腕长肌运动点诱发性脑电波的波形和波峰时间是类似的，只是穴位的诱发性脑电波波幅较大，而电针刺激非穴位点并没有明显的诱发性脑电位。