查询词典 approximation calculus

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

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

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

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

Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.

弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。

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

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

The atomic formula is called atom for short in predicate calculus .

在谓词演算中，有时将原子公式简称为原子。

The atomic formula is called atom for short in predicate calculus.

原子；组合电路单元；基本单位

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.

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

Methods: A total of 80 renal calculus patients undergoing percutaneous nephrolithotomy air pressure ballistic curve lithotripsy were carried out evidence-based nursing to prevent postoperative body position complications.

探讨循证护理在预防经皮肾镜气压弹道碎石术体位并发症中的应用。对80例肾结石病人行经皮肾镜气压弹道碎石术进行预防体位并发症的循证护理。

You're talking about complex calculus," says Karen Barna, writer of Step Up 2."Writers aren't all that business-minded. We have people for that.

你所说的分配过程太复杂了，"《舞出我的人生2》的编剧Karen Barna发言，"编剧们不是生意人，但是我们可不是傻子。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。