查询词典 logic

In fact, once we take a closer examination on some of his classical texts, it's not very difficult for us to find that Mill's psychologism was strictly limited by himself. On the one hand, he asserted that the logic as an art got its theoretical basis from the logic as a science, which, in a very broad sense, was taken as a part of psychology, and on the other hand, he also asserted that logic could receive some enlightenment regarding how to construct a theory from psychology.

事实上，只要更仔细地研读穆勒本人的经典文本，我们就不难发现，穆勒对自己的心理主义做了严格的限定：他一方面断言，作为一项技艺的逻辑学从作为一门科学的逻辑学那里获得全部的理论基础，而作为科学的逻辑学广义上乃是心理学的一部分；另一方面他又断言逻辑学可以从心理学那里获得理论构造方面的启示。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

wittgenstein's philosophy thoughts can be divided into two different stages. in his first stage, he contributes to logic analytical philosophy, the core of which is schematism. it has a decisive influence on the logic positivism. while in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.

维特根斯坦的哲学思想可分为前期和后期，前期为逻辑分析哲学、核心是图式说，它对逻辑实证主义具有决定性影响；后期基本上抛弃了前期的哲学观点，即以语言游戏说代替了图式说，以语言分析代替了逻辑分析，以日常语言代替了理想语言。

Starting from the structural ideas of contemporary linguistics, he argued that there is one universal form of human logic and that the difference between the thinking of primitive and modern people cannot be based on different modes of thought or logic but rather on differences in the data on which logic operates.

从结构思想的当代语言学，他认为，有一个普遍的形式逻辑与人类之间的差别思想的原始和现代的人不能基於不同的思维方式和逻辑，而是对不同的数据其中的逻辑运作。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

The logic of linguistic communication aims at solving the natural language phenomenon in daily life,supplying further the logic theory of normal expression and understanding,which is the fruit of combination among modem logic,grammar and rhetoric,developing gradually along with the uprising of modem syntactics,semantics and pragmatics .

语言交流的逻辑旨在处理日常的自然语言现象，进而提供日常表达和理解的逻辑理论，它是现代的逻辑、语法和修辞相结合的产物，是伴随着现代的语形学、语义学和语用学的兴起而逐步发展起来的。

Finally, several MTNCs were designed for implementing the XOR operation and Literal, AND, OR operation in ternary logic at switch level. The result of simulation with PSPICE showed that the designed circuits had not only the correct logic function and small propagation delay but also had simple structure. Whats more, when achieving the same logic function, the MTNCs decreased large amount of hardware expense compared with the STN circuits.

对设计出的电路进行PSPICE模拟并测量相关参数，结果表明，该设计方法不但简便、规范，而且设计出的多阈值神经元电路具有速度快，结构简单的优点，并且，在实现相同逻辑功能时，采用多阈值神经元电路相对于单阈值神经元电路，大幅降低了硬件成本。

Optical logic devices, especially the multiple-valued, threshold and fuzzy logic devices which are more powerful than the binary logic gates, are key elements in the optical computing systems.

光学逻辑元件，特别是在功能上高于二进制布尔逻辑的多值逻辑、阈值逻辑和模糊逻辑元件是光计算系统中不可缺少的关键元件。

Through exploring the internal logic interconnection among various key elements embedded in Berlin\'s body of thought, it summarizes the threshold logic underlining the following study of Berlin, i.e., the untiring efforts to defend the validity of liberalism under the superficial historic relevance. The basic structure of study based on this threshold logic is then outlined.

本文通过探析伯林思想体系中的各大要素之间的内在逻辑联系，论证了研究伯林所要围绕的逻辑主线，即伯林始终致力于捍卫自由主义原则的有效性，进而阐释了本文研究的基本理路。

Through exploring the internal logic interconnection among various key elements embedded in Berlins body of thought, it summarizes the threshold logic underlining the following study of Berlin, i.e., the untiring efforts to defend the validity of liberalism under the superficial historic relevance. The basic structure of study based on this threshold logic is then outlined.

本文通过探析伯林思想体系中的各大要素之间的内在逻辑联系，论证了研究伯林所要围绕的逻辑主线，即伯林始终致力于捍卫自由主义原则的有效性，进而阐释了本文研究的基本理路。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。