逻辑的

Innonmonotonic logic I,the compactness theorem cannot come into existence.

McDermott于1982提出了一组更强的非单调逻辑，称为非单调逻辑Ⅱ。

The Micro-Controller Unit and Complex Programmable LogicDevice are used in the data processing and the logical control,which makes thecircuit design easier and improves the measurement stability.

使用单片机、复杂可编程逻辑器件进行数据处理与逻辑控制，简化了电路设计，提高了系统的稳定性。

1265 It is always possible to construe logic in such a way that every proposition is its own proof.

6.1265 对逻辑始终可以这样来理解：每个逻辑命题都是它自身的证明。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

Logical process unit of ATP system is fail safe: In case of failure, Logical unit of ATP process must put all outputs in safe state

ATP 系统逻辑处理单元是故障安全的： ATP 系统逻辑处理单元失效后，所有输出必须保持在安全状态。

ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate.

ERCCL利用电容耦合进行逻辑求值，因此可以在一个门中低能耗地实现高扇入、高复杂度的逻辑。

Optical logic gates and full adder are essential elements performing logic and arithmetic operations in optical digital computing systems.

光学逻辑门与全加器是数字光计算系统进行逻辑操作及算术运算的基本元件。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

Controlling and logic interlock between unit and unit or between unit and computer.

实现装置与装置、装置与计算机间的复杂逻辑联锁等逻辑功能。

In digital circuit, methods to express logic function consist of:True table, the function expresses type, logic diagram and Karnaugh Map.

在数字电路中，逻辑函数的表示方法有：真值表，函数表达式，逻辑图以及卡诺图。

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.

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