查询词典 predicate calculus

Apply the thought of differential and integral calculus to the problem of global optimization, imitate the algorithm of digital approximation of definite integral and construct a category of algorithms that can solve global optimization with great brevity and utility.

把微积分的基本思想应用到最优化问题中，仿照定积分的数值逼近算法构造出一类简洁实用的全局优化算法-积分选择算法。

According to lift method and Hooke's law and applying differential and integral calculus theory, calculated equation for free point of these string is reduced respectively,and considering influence of collar and adding power from stem to it, corrected coefficient to drill stem is determined.

对在井中被卡的单一管柱和组合管柱分别进行了受力分析；采用提升法，依据虎克定律，应用微积分理论，分别推导出了单一管柱和组合管柱的卡点计算公式；并且考虑了管柱接箍、管柱加厚对其影响，确定了管柱修正系数。

Physics majors learn the differential and integral calculus in the style of Cauchy and Weierstrass, with ε–δ definitions of continuity and differentiability.

这个定理还是非常有用的，下面就来演示一下。证明存在a，b两个无理数，使 a b 为有理数。是无理数，现在考察数X

This course offers advanced topics for students who have learned ordinary differential equations. The course includes linear algebra which has topics as matrices, linear systems of equations, eigenvalue problems, vector differential and integral calculus. Fourier series, orthogonal functions, Fourier transforms and partial differential equations will also be introduced.

本课程为提供已有常微分方程式基础的同学修习，内容包括线性代数，矩阵运算，特徵值问题，向量的微分与积分，一阶线性微分方程组，傅力叶级数和正交函数，傅力叶转换，并将对椭圆，抛物线，双曲线型式的偏微分方程式作概略介绍。

This course offers advanced topics for students who have learned ordinary differential equations. The course includes linear algebra which has topics as matrices, linear systems of equations, eigenvalue problems, vector differential and integral calculus. Fourier series, orthogonal functions, Fourier

本课程为提供已有常微分方程式基础的同学修习、内容包括线性代数、矩阵运算、特徵值问题、向量的微分与积分、一阶线性微分方程组、傅力叶级数和正交函数、傅力叶转换、并将对椭圆、抛物线、双曲线型式的偏微分方程式作概略介绍。

Based on differential calculus of parameters' the method of the establishing traffic kinematics model is proposed.

提出了基于参数变换的运动学建模方法和步骤。

Calculus and Differential Equations are highly recommended for full understanding of the course.

微积分和微分方程高度建议充分理解的过程。

In mathematics, the time scale calculus is a differential equation and differential equations in a uniform.

在数学中，时标微积分是差分方程和微分方程的一种统一。

Limit is the soul of differential calculus, limits' calculation is an important content of the limit theory.

极限是微分学的灵魂，极限的计算是极限理论的重要内容。

The purpose of Engels\' statement on the differential calculus is for the sake of the epistemology study.

恩格斯对微积分论述的目的也表明了他对待微积分的视角一直是为了认识论的目的。

There are different types of personal loans available.

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

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

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