查询词典 statement calculus

In the calculus of proof the concept of forming a more in-depth study of mathematical logic of an independent branch.

在演算中证明的概念的更深入研究形成了数理逻辑的一个独立分支。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

The calculus of maxima and ''.

正定积分的极大与极小的微积分学。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

In the modern period, independent discoveries relating to calculus were being made in early 17th century Japan , by mathematicians such as Seki Kowa , who expanded upon the method of exhaustion .

在现代时期，独立发现有关演算正在作出在17世纪初的日本，由数学家如关兴，谁扩大的方法用尽。

"In calculus, the derivative equals zero or does not exist at a function's minimum point."

在微积分中，在函数的极小值点上导数等于零或者不存在导数。

Published Nova Methodus Pro Maximus et Minimus ('New Method for the Greatest and the Least'), an exposition of his differential calculus

出版专业的Maximus新星Methodus等按蚊（'新方法的最大和最不'），是他微分博览会

More important, the political calculus could easily misfire.

更加重要的是，这一政治算盘不会如意。

This paper gives a method of combining experiment with theoretical calculus, which can be used to obtain the precious vibration mode functions of disk bladed of turbine machinery.

对透平机械常用的叶轮的固有振动问题给出了一种试验与计算相结合求取其精确振动模态函数的方法。

Combining monoid calculus with BSP, it is practical to generate a general purpose parallel ORDB system.

结果表明，结合Monoid calculus和BSP建立一个通用并行物件－关系型数据库是可行的。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。