查询词典 calculus of finite difference

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

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

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48