逻辑的

Considering that symbolic logic is an extremely specialized field (a layman would not understand an article on logic), it was not that different from engineering or science.

考虑到符号逻辑是个极专门的学科（这是从外行人看不懂得逻辑文章来说），它和理工科差不太多的。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

The author depicts the necessity of adopting ternary logic in fault detection, with detailed introduction of the structure and operation principle for ternary logic fault detection circuit.

闸明了应用三值逻辑进行故障检测的必要性，较详细地介绍了三值逻辑故障检测电路的结构和工作原理。

The theory of types was an important outcome of the development of Russell's philosophy and logic, and It is closely linked.

类型论是罗素逻辑主义和哲学思想发展的一个重要成果，是与其逻辑主义立场紧密联系在一起的。

When he was delightfully wandering through the woods one day, a wood nymph, Echo by name, caught sight of him.

阅读理解，从另一个角度看是读者解读作者逻辑思路的过程，因此有必要对常见的逻辑思路进行总结。

The NOT, OR and XOR gate of combinational logic were replaced by the polyphenylene based molecular device whileTour-type molecular wire constitute the framework in the molecular circuit accounting for the geometry and steric constraints imposed by the bonding and shapes of the organic molecules.

为了在分子电路水平实现减法运算，按照固态电子学组合逻辑原理，提出了一种基于聚亚苯基分子器件的二进制减法器逻辑电路的设计。

Third,from the aspect of logic and thinking,thinks of the logic of analogism and" foundation of neutral thinking and the" body and function philosophical structure.

第三，从逻辑与思想的角度，思考了《乐记》的&比类&逻辑体系、&中和&思想基础和&体用&哲学结构。

The next section discusses branchless logic, and demonstrates the most common branchless logic sequences.

下一节中我们讨论非分支逻辑，并给出一个非分支逻辑流的一个最常见的实现。

Chapter Two to chapter Five analyzeand discuss compressively the three related parts in the system of logical philosophy ofin Frege's logicism.

第二章至第五章是对弗雷格&逻辑主义&逻辑哲学体系的三构分的全面解析、论述。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。