查询词典 restricted predicate calculus

"According to the fundamental theorem of calculus, a definite integral can be calculated by using its antiderivative (a function whose rate of change, or derivative, equals the function being integrated)."

根据微积分基本原理，利用函数的反导数可以算出定积分。

After their work , the calculus was no longer an appendage and extension of Greek geometry

经过他们的工作，微积分不再是古希腊几何的附庸和延展。

Taylor Formula is a very important content of mathematical analysis, it can intensively embody the soul of "approximation" of calculus, and it is extensively applied in the theoretical analysis and practical application.

泰勒公式是数学分析中的重要内容，集中体现了微积分中"逼近法"的思想，在理论分析和实际应用中经常涉及。

The reliable of FCT was calculated respectively by using narrowcasting formula and approximation calculus formula.

利用独立的失效概率为q的Bernoulli试验序列、概率公式和递增凸函数的性质推导出了钻井油气层测试器的可靠度的近似计算公式。

A method for the generation of Weierstrass fractal surface is presented,based on Helmholtz equation,with the Kirchhoff approximation,the calculus formula of light scattered field on the 1-D Weierstrass fractal suface is deduced.

采用Weierstrass分形函数模拟实际粗糙表面，从简谐光波满足的亥姆荷兹方程出发，利用基尔霍夫近似推导出一维Weierstrass分形粗糙表面的光散射场的积分公式，考虑遮蔽效应后数值计算并分析了表面散射光强的角分布特性。

The approximation calculus formula of reliable on FCT was calculated by using abate probability being q Bernoulli test sequence, probability formula and property of increasing convex function.

应用概率理论推导出钻井油气层测试器系统的可靠度精确计算公式。

Applications of integral calculus include computations involving area , volume , arc length , center of mass , work , and pressure .

积分的应用，涉及领域包括计算，体积，弧长，中心的质量，工作和压力。

In integral calculus, the mean value of a function on an interval is, in essence, the arithmetic mean of its values over the interval.

在积分学中，函数在一个期间内的平均值从本质上讲是它在这个区间内的各个值的算术平均值。

That agenda requires money, more money than can be justified by the austere calculus of the market.

这些行动需要资金，比通过严格的市场计算的接受程度更多的资金。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

I can do simple painting, carpentry and plumbing.

我能做简单的油漆、木工和修水管等工作。

The motivations, notations and outline of this work are also given in this chapter.

从这个意义上讲，这些时滞是无害的。然后用实例说明这三个定理的应用和互不包含性。