查询词典 calculus of finite difference

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.

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

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微积分怎样导致原野理论。

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.

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

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分&逼近法&的精髓，在微积分的各个方面都有重要的应用。

Connectors are lines that can be anchored to particular places, called glue points , on the graphic object.

连接符，可固定在图形对象的特定的地方的线条。

Another way of putting it, too many agents have a say in each other's work, and bureaucratic rigor mortis sets in.

另一种表达是，太多的作用物在彼此的工作里都有话语权，官僚的僵尸开始抬头。