查询词典 predicate calculus

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.

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

The basic contents of this course include multivariate differential calculus and multivariate integral calculus.

本课程的基本内容包括：多元函数微分学、多元函数积分学，通过教学与练习，要求学生掌握这些内容的基本概念，基本理论和基本运算，并获得运用这些知识的能力。

The background assumed on the part of the reader is a knowledge of undergraduate differential and integral calculus and of elements of differential equations, and the experience of a probability and statistics course based upon a calculus foundation.

具备微积分，微分方程基础和以微积分为基础的概率论基础知识的学生均可选学这门课程，如果进一步具有诸如变换，差分方程和马尔科夫过程这些更高一点的数学基础，对学习此课程会更有帮助。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。