查询词典 propositional 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发言，"编剧们不是生意人，但是我们可不是傻子。

Grasp the basic symbol operations in calculus of linear algebra applications, control of the equation solution.

掌握MATLAB的基本符号运算，在微积分中的应用，在线性代数中的应用，同时掌握方程的求解方法。

Results show that its cohesion is low and flowability and stability are good, setting time can be controlled from 5 hours to 20 hours,calculus strength and mortar strength can reach 1-3 MPa, and the primary influence factors include liquid/solid ratio or the Baume degrees of water glass, curing temperature and humidity, size of limestone grains and different technique process.

液固比或水玻璃浓度、养护温度和湿度、石灰岩颗粒细度、不同工艺路线是影响浆材性能的主要因素。

Yet bear in mind that this still implies that you should be at ease with basic probability theory and calculus, and more importantly, you should be used to thinking in mathematical terms.

但是要记住这仍然意味着你应该要能轻易地运用机率的理论和微积分，而且更重要的是，你应该要习惯于用数学的术语思考。

Lastly, simulation was carried out, the results verified the efficiency of binomial expansion method in practical applications, therefore it is of great importance in design of analog fractance circuit and theoretical research of fractional calculus.

最后对该电路进行仿真，证明了二项展开法在实际应用中的有效性，对于模拟分抗电路的设计和分数演算的理论研究具有十分重要的意义。

By the age of 20, Sir Isaac Newton found a general binomial theorem which lead to the later development of calculus.

20岁的时候，牛顿发现了一个二项式地理，为以后发展微积分做好了准备。

In 1665, he discovered the generalised binomial theorem and began to develop a mathematical theory that would later become infinitesimal calculus.

1665年，他发现了广义二项式定理，并开始开发一种数学理论，后来成为微积分。

But Severus escaped the hands of those that Julianus had sent to murder him and sent a letter to the praetorian guard, giving them the signal either to desert Julianus or to kill him.

赛维鲁总算逃过了尤利阿努斯派来的杀手，并写了一封信给罗马的禁卫军，向他们发出信号，要么抛弃尤利阿努斯，要么干掉他。他们立即服从了。

This text is in terms of this of " human nature ", it is under the influence of western literature human nature thought to probe into, awakening in human nature of novel works and all sorts of limitations that affectionate The school of Mandarin Duck and butterfly.

本文便是从"人性"这一角度，探讨在西方文学人性思想的影响下，清末民初鸳鸯蝴蝶派的言情、哀情小说作品在人性方面的觉醒与种种局限。