查询词典 calculus of finite differences

On the one hand, he established the theory on Kleenes three valued logic and proposed interval incidence calculus theory~[21]. On the other hand, he proposed interval generalized incidence calculus theory~[22] by revising GICT.

一方面是在Kleene三值逻辑基础上提出区间发生率计算理论(Interval Incidence Calculus Theory，以后简记为IICT)，另一方面在Liu的扩展理论基础上，提出区间推广的发生率计算理论(Interval Generalized Incidence Calculus Theory，简记为IGICT)。

However,To prove Inequality with elementary method,we often create complex computational process. The second ,we will take full advantage of the knowledge of calculus Inquiry Testimony of inequality,and concluded the higher mathematics to prove Inequality several main method and its application conditions.Constructors in the context of the use of the monotone function,Calculus value theorem,function and the most extreme value,integral, it can be a very effective solution to the inequality problem proof. At last,we summed up several convenient and simple way to prove Inequality.It will be play a great role in our problem Solving.

但是用初等方法证明往往会造成复杂的运算过程，本文接着充分利用微积分的知识探究不等式的证明方法，并指出微分学和积分学在不等式的证明的具体应用，那就是在构造函数的背景下运用函数的单调性、微积分中值定理、函数的极值和最值、定积分，那么就可以十分有效地解决不等式中的证明问题，从而归纳出几种方便而又简捷的方法，这样对我们解题将会起到很大的作用。

Discrete calculus , discrete probability distribution s, discrete Fourier transform s, discrete geometry , discrete logarithm s, discrete differential geometry , discrete exterior calculus , discrete Morse theory , difference equation s, and discrete dynamical system s.

在应用数学中，离散模型连续模型的离散近似。在离散模型中，离散方程are fit to 数据。使用递推关系是这种建模方式的一般方法。时标微积分是差分方程理论与微分方程理论的统一，应用在需要建立离散和连续同步数据模型的领域。

Matrices, Vector and Vector Calculus, Newtonian Mechanics-single Particle, Oscillations, Nonlinear Oscillations and Chaos, Gravitation, Some Methods in the Calculus of Variations, Hamilton's Principles Lagrangian and Hamiltonian Dynamics, Central-Force Motion, Dynamics of a System of Particles, Motion in a Noninertia Reference Frame, Dynamics of Rigid Body.

矩阵和向量的计算、单一质点的牛顿力学、线性与非线性的振动运动、重力、微积分上的变分法介绍、哈密顿原理、拉氏及哈氏力学、连心力下的运动、质点系的运动力学、在非惯性坐标中的运动、刚体的运动。

A bigraphical representation of a Seal calculus without replication is provided in this paper,and structural correspondence and operational correspondence between the Seal calculus and its bigraphical representation are analyzed.

文中给出了一种不带复制进程表达式的Seal演算的偶图表示，分析了该Seal演算与其偶图表示间的结构对应和操作对应。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48