logic的例句大全

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分.

He made fundamental contributions to quantum mechanics, functional analysis, and mathematical logic.

他在量子力学 、 功能分析和数学逻辑方面做出了基础性的贡献.

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算.

This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.

数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面.

This study, initiated by the Greeks and continued mainly by the French, was based on logic.

这种研究起初是由希腊人创立的,其后主要为法国人承袭, 它是以逻辑为基础的.

Jaynes , E . T . ( 2003 ) . Probability theory: The logic of science . Cambridge University Press.

《机率论 ︰ 科学的逻辑》,剑桥大学出版社.

Constitutional structure should have a clear arrangement, logic and scientific style.

宪法结构应当层次清楚 、 逻辑严密、体例科学.

With calm, dreamy, almost schizoid logic, she explains that her appearance will be important.

她以镇定 、 迷惘 、 近乎自相矛盾的逻辑说明她的仪表将是很重要的.

Might is right -- that is the logic of imperialism.

强权即公理 -- 这是帝国主义的逻辑.

Sun of Mind ; an exposition of Logic and many others.

心之光─逻辑概论,和许多的典籍经论等等.

And the same logic should apply to everyone, including foreigners or Americans.

这一逻辑同样可运用到每个人身上, 包括老外或老美.

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

A Definition Framework of Spatial Logic and Decidability

空间逻辑的一个定义框架及其可判定性

Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

But i doubt the logic of this term is odd.

但我怀疑这个新名词的逻辑是奇数.

A new flexible explosive mechanical properties synchronization is prepared for the large area logic network.

针对大面积爆炸逻辑网络,研制出一种新型挠性炸药配方.

The same logic applies to many other situations.

很多的处境,也可以照搬这个道理.