查询词典 calculus of classes

His brother Johann or Jean (1667-1748) developed integral and exponential calculus.

其兄弟 约翰或让（1667-1748年）发展了整数和指数微积分。

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

With the discussion of extreme value problem of the multiple-valued function,and the popularizing of extreme value theory of the two-value function,This paper obtains differentiation rule about the extreme value of the multiple-value function,and illustrates the apllication of the theory with the example,providing proper guidance for the teaching of calculus.

文章讨论了多元函数的极值问题，并将二元函数的极值判定定理加以推广，得到关于多元函数极值的判定法则，并举例说明其应用，这对微积分的教学有一定的指导意义。

Gust loading factor of displacement on three direction of the dynamic responses is obtained by the direct integral calculus method in time-domain.

利用时域内的直接积分法求出结构响应的时间历程，并且通过统计，得出了结构脉动响应三个方向的位移风振系数值。

For the calculus of set valued functions,some convergence theorems about thePettis-Aumann integral,such as Fatou's Lemma,are mainly investigated;theproperties of the parametric Pettis-Aumann integral are gotten.

在集值映射的微积分方面，本文着重讨论了Pettis-Aumann积分的一些收敛定理，如Fatou引理等，并研究了含参变量Pettis-Aumann积分的一些性质。

He adopted Jeremy Bentham 's Felicific calculus to economic behavior, allowing the outcome of each decision to be converted into a change in utility.

他通过本瑟姆的Felicific演算的经济行为，使每一项决定的结果转化为改变用途。

For example, basic tools from calculus such as Fermat theorem, Rolle theorem and the intermediate value theorem may not necessarily hold and fundamental concepts such as chain and product rules and certain smoothness properties all need to be modified.

例如，微积分中的基本工具诸如Fermat定理、Rolle定理以及介值定理不再成立，一些基本的概念诸如链式法则、乘积公式以及某些光滑性都需要做适当的修正。

Advanced course covering topics selected from: semimartingale theory, stochastic integrals, homogeneous chaos expansions, stochastic differential equations, Malliavin calculus, infinite dimensional processes, functional central limit theorems, Feynman-Kac formula, Feynman integral.

随机分析：高级课程，包括：半鞅理论，随机积分，齐次混沌展开，随机差分方程， Malliavin 微积分，，有限维过程，泛函中心极限理论， Feynman-Kac公式， Feynman积分，过滤理论的应用，无限粒子系统，量子力学，神经学中的随机模型。

Generally say, the oral hygiene is bad, tartar and dental calculus pile up, the food Qian fills, germ and germ spot function, badly fill dental cavity and have a tooth filled incitement, or oppress gum etc., is all important partial reason that causes a tooth to blaze for week.

一般说，口腔卫生不良，牙石和牙垢堆积，食物嵌塞，细菌和菌斑作用，不良补牙和镶牙刺激，或压迫牙龈等，都是引起牙周炎的重要局部原因。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？