查询词典 calculus

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分"逼近法"的精髓，在微积分的各个方面都有重要的应用。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

And studied the method of application of network calculus to resource reservation.Based on network calculus,derived the effective bandwidth constrained by end-to-end delay and equivalent capacity for a given buffer size.Analyzed network performances such as maximum delay and queueing buffer length,gave the arrival curve and service curve.

深入研究了网络演算在网络资源预留中的应用方法，推导出了基于端到端时延约束的有效带宽和基于缓冲区长度约束的等效容量计算公式，分析了给定到达曲线和服务曲线条件下网络性能的计算方法。

Consequently in the beginning of tooth stone calculus formation, use mouth cavity to sweep a method or brush teeth method, all very easy clearance tooth stone calculus, after waiting until calcify not easy clearance.

因此在牙结石形成之初，使用口腔清洁法或刷牙法，都很容易清除牙结石，等到钙化之后就不易清除了。

Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .

塔斯基得到的真概念定义是：x是类演算语言的任一语句，x为真当且仅当每一个类的无穷序列都满足x。

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级数和多元微积分，行列式和矩阵的应用，线性方程和二次方程式，事件的概率，偶然性变量，大数定律和中心极限定理，样本和参数估计，方差分析，回归分析。

Next time I see you,I shall give you a black eye.

下次我看见你，我会打你一顿。

In this paper,design scheme of classification system of wood surface color is established.

提出了木质板材颜色分类的系统设计方案。