查询词典 statement calculus

In Extended Duration Calculus, discrete state variables can only be Boolean, terms can only be combined by relational operators to become formulas.

在扩展的延时演算中，离散状态变量只能是布尔类型，项只有通过关系操作符的连接才能成为公式。

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The introduction of displacement operator, derivation operator, integral operator and the operator, such as differential calculus operator and the definition of the form of computing, will be applied to similar derivation formula gives Newton a Kete Si formula and Bernstein theorem Law said the operator, and form is derived; linear differential equations is the operator solution.

有没有高手可以帮我翻译下这段话啊？？？引入位移算子、求导算子、积分算子和差分算子等微积分算子的定义及其形式运算，将其应用于近似求导公式；给出牛顿一柯特斯公式和伯恩斯坦定理的算子法表示，并进行形式推导；给出线性常微分方程的算子解法。

I only heard about the model and estimation method taught by the professor, but the usage of model and the derivation of calculus seem like just double Dutch to me.

这部影片中，我知道了信任是爱情逻辑中的唯一原由，这是我对爱情的其中一种理解，是一块爱情的方巾使Nash的mind into reality，这是一种魔力。

In this paper, a semilinear elliptic equation with critical Sobolev-Hardy exponents is studied, the existence of nontrival solutions for which is proved by the linking theorem in variational calculus.

该文研究了一类带有Sobolev-Hardy临界指数的半线性椭圆方程，运用变分理论中的环绕定理证明了方程非平凡解的存在性。

In this paper, a new method used to deal with the motion ability is studied deeply based on Routh-Hurwitz Criterion. The advantage of this kind of analysis method consists in the fact that after establishing the equation in differential calculus for the motion system, there is no need to know a root of the equation, if you know the root signs, you can judge the zero solution stability of the system.

本文利用劳斯－赫尔维茨判据(Routh-Hurwitz Criterion)对机械系统中离心转速调节器的运动德定性进行了分析，这种分析方法的优点就在于：建立系统运动微分方程的特征方程后，不必求解特征方程的根，只需知道根的符号就可判断系统的零解稳定性。

The development of calculus was based on not very strict but practical thought instead of Euclid s strict thought.

微积分是在不很严格、讲究实用的基础上，而不是在欧几里得严密思想的基础上发展起来的。

Real Number System, Euclidean Space and Metric Spaces, Sequences in R and R^n, Differentiability on R and Rn, Integration on R and Rn, Infinite Series of Functions, Fourier Series, Fundamental Theorems of Vector Calculus, Inverse Function Theorem, Implicit Function Theorem and its Applications.

课程内容：实数系，Euclidean空间与距离空间，函数数列，函数级数，连续函数，可微分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理，富氏级数。

The traffic momentum differential equation and Euler's equation for the ramp junction is founded by means of differential calculus in this paper,the traffic momentum differential coupled equation is solved by characteristic curve method,two groups of characteristic curves and corresponding related equation in high speedstates and low speedstates are presented.

采用特征线法对运动微分方程组进行分析求解，在高速低密度区和低速高密度区分别得到了两组特征线和对应的特征关系式。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。