逻辑的

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

But this is fallacious reasoning unless other possible causal explanations have been considered and ruled out.

但这是不合逻辑的推理，除非已考虑或排除了其它可能的因果性解释。

The paper reveals the relation between linear AND-OR gate and the Emitter Function Logic. With theoretic calculation and PSPICE simulation, the paper proves that the linear AND-OR gates can work at super-high-speed and can be multi-cascaded.

摘要本文指出了线性"与或"门与发射极功能逻辑的联系，通过理论计算与PSPICE模拟证明了线性"与或"门的极高速工作特性和可多级级联工作能力。

The basic principles of Fuzzy Logic are discussed in detail with various solved examples.

模糊逻辑的基本原则是详细讨论了各种解决的例子。

The most logical and useful grouping of these manuscripts is genealogical and geographical.

最合乎逻辑的和有益的分组这些手稿是系谱和地理。

The value of his work as a masterpiece of logic has been very grossly exaggerated.

说他的著作是一个逻辑的杰作，这是过于夸大了。

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。

The interface between software and hardware will be a logic-based language.

硬件和软件之间的接口将是一个基于逻辑的语言。

A multi-agent hybrid system integrating multiple software agents, simulation, knowledge bases and fuzzy logic for international marketing decision making is then presented.

我们也给出了一个支持国际市场营销策划的集成了多个软件代理、模拟、知识库和模糊逻辑的多智能体混合系统。

Badly handling errors in a software leads to crash or illogic state.

急需处理的软件错误导致崩溃或不合逻辑的状态。

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.

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