查询词典 proof

As a by-product of our proof, a new generalization of Hahn decomposition theorem in measure th...

在证明过程中，我们也顺便得到测度论中Hahn分解定理的推广。

In many cases the proof of a law is indirect and consists in showing that all results deducible from such a law are consistent with observation and experiment.

在很多情况下定律的证明是间接的，其要点是：由该定律推导出的结论应与观察和实验结果一致。

R the third example : through studying the area of sector, inquiry in deductive proof is carried out.

以"扇形面积"一节为例，开展演绎证明中的探究。

In this paper another deductive proof of the algorithms for the recursive solution of the system of linear equations with a Toeplitz coefficient matrix is considered, and formulas for the specific recursive solution of the various forms of the system of linear equations in accordance with a Toeplitz coefficient matrix are given.

本文给出了具有托布里兹系数矩阵线性方程组递推解法算式的另一推导证明方法，并给出了基于托布里兹系数矩阵的各种线性方程组的具体递推解法公式。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

Themes, such as the difference between convention, fact, opinion and preference; deductive and inductive proof; validity and truth; evidence; and the ethics of persuasion, are the basis on which the skills are taught.

这些文章的内容有包含习惯的不同、事件的相对面、意见的分歧、喜好的差异、演绎法即归纳法得的结论等等。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

Key words: mathematics proof; Euclideam deductive reasoning; inductive reasoning

归纳推理有利于发现新的命题，是培养创新型人才所必需的。

Draw lessons from increment type observation implement with PI condition observation implement research achievement, combine heat to dominate a field complex control system designs bunchy form normally the actual condition of regulating system, offer observation of function of PI of increment style broad sense implement and the concept that its condition feedbacks, the tectonic regulating system that cluster form and observation implement feedback of shirt-sleeve broad sense condition controls a system, learn an analysis through number, give out the sufficient condition of IFO-PIO/BS reachs his corresponding theorem and deductive proof, announce give this to controlled systematic equivalence to be had at IFO-PIO/BS change the function that gain condition feedbacks.

借鉴增量式观测器和PI状态观测器的探究成果，并结合热控领域复杂控制系统通常设计成串级调节系统的实际情况，提出增量式广义PI函数观测器及其状态反馈的概念，构造串级调节系统和观测器相融合的广义状态反馈控制系统，通过数学分析，给出IFO-PIO/BS的充分条件及其相应定理和推论的证实，揭示出该控制系统等价于IFO-PIO/BS具有了变增益状态反馈的功能。

Introduction current criminal standards of proof in our country and its defection.

针对我国刑事证明标准的现状和缺陷，指出了其危害。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。