查询词典 logic calculus

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

Tarski constructed strictly the calculus of classes and its metalanguage,then defined some important concepts of the calculus of classes,such as sentential function,free variable, sentence,operation,consequence.

塔斯基严格地构造出了类演算语言，然后又构造出了类演算语言的元语言，并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。

Calculus of variations is a field of mathematics that deals with functionals , as opposed to ordinary calculus which deals with functions .

变分法是处理函数的函数的数学领域，和处理数的函数的普通微积分相对。

Family of Swiss mathematicians and scientists, includingJakob or Jacques (1654-1705), an important theorist of ordinary calculus and the calculus of variations.

伯努利：瑞士数学家和科学家家族，包括雅各或雅克（1654-1705年），是关于一般微积分和变分微分的重要理论家。

Function and limit, one-variable calculus and its application, ABC of progression and multiple-variable calculus, determinant, matrix and its calculation, system of linear equations and quadratic form, probability of occurrence, chance variable, law of large numbers and central limit theorem, sample and

本课程主要介绍函数和极限，一元微积分和它的应用，ABC级数和多元微积分，行列式和矩阵的应用，线性方程和二次方程式，事件的概率，偶然性变量，大数定律和中心极限定理，样本和参数估计，方差分析，回归分析。

Function and limit, one-variable calculus and its application, ABC of progression and multiple-variable calculus, determinant, matrix and its calculation, system of linear equations and quadratic form, probability of occurrence, chance variable, law of large numbers and central limit theorem, sample and parametric estimation, variance analysis, regression analysis.

Advanced Mathematics 1 [Course Code 1040008 MAT114] 本课程主要介绍函数和极限，一元微积分和它的应用，ABC 级数和多元微积分，行列式和矩阵的应用，线性方程和二次方程式，事件的概率，偶然性变量，大数定律和中心极限定理，样本和参数估计，方差分析，回归分析。

An adequate version of π-calculus is developed, and bisimulation of this calculus is proved to be a congruence relation.

提出了一个π-演算的变形系统，证明了系统的互模拟是同余关系。

Be also say, in fact now already generally accepted three chlorine cyanotype An not the toxicity be slight, but perhaps didn't cause an enough value in China, but more darned BE, three chlorine cyanotype the An add after the milk powder, meeting the miscarriage of justice also raises a deceitful protein content in the milk powder protein the composition the examination;This time in suddenly widespread occurrence in China of three gather the circumstance that the cyanotype An causes the kidney stone calculus of baby kid in fact, and the American pet poisonous food in last year's resulting in an animal kidney stone calculus be a similar reason.

也就是说，事实上现在已经公认三氯氰胺并非毒性轻微，但在中国也许并没有引起足够的重视，而更要命的是，三氯氰胺添加到奶粉中后，会在奶粉蛋白质成分检测中误判并提高虚假的蛋白质含量；这次在中国突然普遍发生的三聚氰胺引起婴幼儿肾结石的情况其实，和去年的美国宠物毒粮造成动物肾结石是一样的原因。

" In mathematics , two theorems, one associated with differential calculus and one with integral calculus."

数学中的两个定理。分别与微分学和积分学相关。

The combined mathematics of differential calculus and integral calculus.

微积分学中有关用导数与微分的观念讨论函数随独立变量改变的部分。

Looking to bounce back from defeat against Cesena last weekend, the Calabrian boss will be sticking to his tried and tested 4-3-3, with Lopez and Sedivic joined up front in Giampaolo's absence by either Nanni or Plasmati.

鉴于上周末对切塞纳的比赛中反败为胜，这支南方球队将会更坚持其一贯而有效的4-3-3阵型，洛佩斯和塞德维奇将取代受伤缺席的詹保罗，和纳尼或者帕斯马蒂中的一个搭档锋线。

Meanwhile, their exposure to the more freewheeling ways of the West broadened dramatically.

另外，西方较自由的生活方式对年轻人的影响增大。