查询词典 universal coefficient theorem

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

This paper mainly introduces several different methods to prove the mid-value theorem, at the same time the mid-value theorem is applied in the mathematical theory, such as the application and mathematical modeling.

本文主要推荐几种不同的方法证明微分中值定理，同时对微分中值定理加以应用，如在数学理论中和数学建模中的应用。

When proving the differential mid-value theorem,"Higher Mathematics" does know to make the auxiliary function ф in order to apply Rolle Theorem.

在证明微分中值定理时，《高等数学》作辅助函数ф的目的是为了应用罗尔定理。

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对&中间点&的渐近性进行了研究，得出了一系列&中间点&的渐近性的结果，概括了有关文献对微分中值公式的&中间点&的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

Chapter 4 is devoted to the existence and multiplicity of homoclinic for self-adjoint nonlinear second order difference equations by using "Mountain Pass " theorem and "Symmetry Mountain Pass "theorem in critical point theory.

第四章应用临界点理论中的山路引理与对称山路引理研究了一类自共轭非线性二阶差分方程的同宿轨的存在性与多重性。

Based on the tree martingale decomposition theorem and the con-vergence of locally finite tree martingales,a tree martingale convergence theorem isverified.

再基于树鞅分解定理和局部有限树鞅收敛定理，证明了一个树鞅收敛定理。

In this paper, a fixed value theorem for direct areas of height triangle s in circular inscribed polygons is obtained, and some results, including the famous height theorem in a triangle, are deduced.

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论，其中包括著名的三角形的高线定

Finally, the universal approximation theorem of fuzzy system is generalized to the function space L〓.

为进一步提高控制系统的跟踪精度，在补偿控制律中采用了可变边界层的方法。

This paper mainly involves the design of fuzzy control system based on the variable universe method and the design of adaptive fuzzy control system based on the universal approximation theorem of fuzzy system.

本论文主要涉及变论域模糊控制和基于模糊系统泛逼近理论的自适应模糊控制两个方面的内容。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。