查询词典 predicate calculus

This result is a higher-dimentional analogue of the Fundamental Theorem of Calculus: it expresses the integral over D of some kind of derivative of P and Q in terms of an integral of P and Q over the boundary of.

格林公式建立了曲线积分和二重积分的关系 O 这是微积分基本定理在高维情形的推广：它将上P、Q某种形式的导数的积分用的边界上 P、 Q 的积分表示出来。

The purpose of this paper is to present some ways of transformation based on decomposition of trigonometric reasoned formula of integral calculus, and furthermore, it can promote student s ability of integral calculation and use of recursion serial.

结合积分的计算，分析积分递推式的化归问题，三角有理式在积分中的拆分法的化归问题，有利于促进学生对于积分的计算以及递推序列的巧妙应用等数学能力的培养。

This paper summarizes extraordinary effects of the symmetry on computing definite integral calculus, which make complicated calculation simplified.

归纳总结了对称性在计算定积分中的妙用，使一些较复杂的计算变得简单，并对对称性不明确的怎样通过构造对称性化简积分问题作了研究。

The physical meaning is clear and definite when integral calculus method is adopted to establish the basic equations of traffic flow.

采用积分方法建立交通流基本方程的物理意义更为明确。

Your dentist may also advise you to visit a dental hygienist who can remove plaque build-up and calculus from your teeth and show you the best ways to keep your teeth clean and healthy.

你的牙医也可能建议你访问牙齿卫生员谁可以移除斑块的建立和微积分从您的牙齿和显示您的最佳办法，让您的牙齿清洁和健康。

Only a dentist or dental hygienist can remove plaque and calculus from your teeth.

只有牙医或牙科卫生专家才能帮助您清除齿菌斑和牙结石。

An algorithm for transformation of calculus to algebra was derived, and the correctness of transformation was proved.

代数转换同时也体现了对象代数相对于对象演算的完备性。

Most schools require at least one course in calculus and descriptive geometry before the introduction of engineering statics .

很多学校要求学生在学习《工程静力学概论》之前最起码先修过《微积分》或《画法几何》中的一门。

The focus that switched Ethernet is applied in the networked control system is ability of real-time.For this,a new analytic tool:network calculus is used to determinately analyze the special performances of the real-time data via a switched Ethernet.

交换式以太网在网络控制系统中的应用关键问题是实时能力，为此采用一种新型实时性能分析工具——网络演算，对交换式以太网实时能力进行确定性的分析和研究。

Optical thin film at non-normal incidence is equivalent to a combination of a dichroic linear polarization and a retarder, and it can be described in Jones calculus .

光学薄膜在倾斜入射时可等效为一线偏振器和一位相延迟器，这一特性可以用琼斯算法进行描述。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。