查询词典 etch-proof

We give a new proof for the triangular decomposition theorem of affine composition algebras.

我们给出了仿射合成代数的三角分解定理的一个新证明。

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具有了变增益状态反馈的功能。

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。