查询词典 propositional calculus

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.

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

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Calculus can be used to find approximate solutions to equations, in methods such as Newton's method , fixed point iteration , and linear approximation .

积分可以用来寻找近似解方程，在方法，如牛顿法，不动点迭代和线性近似。

It proposes a method to formalize and analyze security properties of workflow systems by process calculus and types.

提出了一种基于Pi演算的工作流系统建模和安全性分析的方法。

It first utilizes pi-calculus to formalize service behavior as well as the interaction behavior between services as processes.

本文采用Pi演算将Web服务行为和Web服务之间的交互行为进行建模。

Through building Simulink model, the numerical solution of fractional order nonlinear calculus equation can be obtained directly.

通过Simulink搭建仿真框图，可以直接求出分数阶非线性微积分方程的数值解析解。

The method is completely fit for the fractional order linear calculus equation.

用仿真实例进一步演示了该方法的简洁、有效，可以解决任意的分数阶微积分方程的求解问题。

After introducing the generalized strain energy function with fractional order, the constitutive equation of biological visco-elastic material was obtained by means of the fractional calculus.

摘 要：对生物粘弹性材料，引入广义分数阶应变能函数以后，应用分数阶微积分分别给出了粘弹性固体和粘弹性流体的本构关系式。

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。