查询词典 predicate calculus

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演算与其偶图表示间的结构对应和操作对应。

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.

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

The calculus of the submaxillay gland vascular,ultrasound has important value in diagnosis and differential diagnosis calculus of the submaxillary gland.

超声对颌下腺导管结石的诊断和鉴别诊断具有重要价值。

Within differential geometry are the concepts of fiber bundles and calculus on manifolds , in particular, vector and tensor calculus .

微分几何包含这样的概念：纤维束和流形上的微积分，特别是矢量与张量微积分。

On the journey, you'll discover how tensor notation relates to vector calculus, how differential geometry is built on intuitive concepts, and how freeduan.com variational calculus leads to field theory.

在旅行时，你将发现tensor表达式与矢量微积分有关怎样，几何学建立直觉概念多么不同啊，和freeduan.com variational微积分怎样导致原野理论。

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

METHODS: The location of 65 consecutive patients with Wharton's duct calculus was analyzed by bimanual examination of the floor of month and bite film of the mandible. Of 65 patients, 57 had the stone removed via intraoral duct incision or sialoendoscopy, 8 by submandibular gland excision. After operation, the shape and size of the calculus were observed and measured.

对连续就诊的65例下颌下腺导管结石患者通过口底双合诊和下颌横断片判断结石的位置，手术取石，其中57例经口内直接切开导管取石或内镜辅助下取石，8例行下颌下腺切除术后取石，观察、测量术后所取结石的形状和大小。

In this chapter, the author concludes that the Lambek calculus is the further development of the Classical Categorial Grammar founded by Ajduciewicz and Bar-Hillel on the basis of a brief account of categorial history, and centers on the Gentzen-style Lambek calculus widely used in practice.

在这一章中，作者在简要介绍范畴语法发展史的基础上论述了兰贝克算子是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展，并且重点论述了在实践中应用广泛的根岑风格的兰贝克句法算子。

There are different types of personal loans available.

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

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

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