查询词典 statement logic

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

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.

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

A new energy recovery logic style (ERTL: energy recovery threshold logic) based on threshold logic is presented.

2通过把阈值逻辑应用在能量回收电路中，提出了一种新的电路形式－能量回收阈值逻辑电路（ ERTL ： energy recovery threshold logic ）。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。