查询词典 statement calculus

By investigating Newton\'s Problem of the Solid of Least Resistance,John Bernoulli\'s Brachystochrone Problem and Jacob Bernoulli\'s Isoperimetric Problem, the physics and Calculus background of the calculus of variations is illustrated,the fundamental thought together with the patterns of solutions are summarized,and the ideas and the interaction of the pioneers,such as the Bernoullis and B.

通过考察牛顿最小阻力体问题、约翰·伯努利最速降线问题和雅可布·伯努利等周问题等问题的提出过程及解决方法，深入探究了变分法诞生的深刻背景，提炼和概括出了伯努利兄弟和泰勒等先驱者解决变分问题的基本思想和求解模式，追溯了其微积分渊源，并分析了三位先驱(来源：ABCbc论文64网www.abclunwen.com)者之间的变分法思想传承及相互影响。3。

An object-based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states.

对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Trace演算之上。

The establishment of the theory of calculus so that a solid foundation of logic, the calculus in the contemporary field of science to the whole more extensive and reasonable use and development of a deeper, so the limit order to function as a top priority of this part, flexibility for the use of limits is the basis of learning advanced mathematics.

其理论的确立使微积分有了坚实的逻辑基础，使得微积分在当今科学的整个领域得以更广泛，更合理，更深刻应用和发展，所以求函数的极限成为这一部分的重中之重，灵活掌握运用极限的求法是学好高等数学的基础。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

On the one hand, he established the theory on Kleenes three valued logic and proposed interval incidence calculus theory~[21]. On the other hand, he proposed interval generalized incidence calculus theory~[22] by revising GICT.

一方面是在Kleene三值逻辑基础上提出区间发生率计算理论(Interval Incidence Calculus Theory，以后简记为IICT)，另一方面在Liu的扩展理论基础上，提出区间推广的发生率计算理论(Interval Generalized Incidence Calculus Theory，简记为IGICT)。

However,To prove Inequality with elementary method,we often create complex computational process. The second ,we will take full advantage of the knowledge of calculus Inquiry Testimony of inequality,and concluded the higher mathematics to prove Inequality several main method and its application conditions.Constructors in the context of the use of the monotone function,Calculus value theorem,function and the most extreme value,integral, it can be a very effective solution to the inequality problem proof. At last,we summed up several convenient and simple way to prove Inequality.It will be play a great role in our problem Solving.

但是用初等方法证明往往会造成复杂的运算过程，本文接着充分利用微积分的知识探究不等式的证明方法，并指出微分学和积分学在不等式的证明的具体应用，那就是在构造函数的背景下运用函数的单调性、微积分中值定理、函数的极值和最值、定积分，那么就可以十分有效地解决不等式中的证明问题，从而归纳出几种方便而又简捷的方法，这样对我们解题将会起到很大的作用。

Discrete calculus , discrete probability distribution s, discrete Fourier transform s, discrete geometry , discrete logarithm s, discrete differential geometry , discrete exterior calculus , discrete Morse theory , difference equation s, and discrete dynamical system s.

在应用数学中，离散模型连续模型的离散近似。在离散模型中，离散方程are fit to 数据。使用递推关系是这种建模方式的一般方法。时标微积分是差分方程理论与微分方程理论的统一，应用在需要建立离散和连续同步数据模型的领域。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。