查询词典 formal logic

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

The systematic, formal, axiomatic development of the logic of all forms and models of being.

事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

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

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

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Many\|valued Logic ; Fuzzy Logic ; Formal System L *; Extension L *; Completeness

多值逻辑；模糊逻辑；形式系统L*；扩张L*；完备性

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

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

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

In the book, Boole set forth the formal axioms of logic (much like the axioms of geometry) on which the field of symbolic logic is built.

在这本书里，向前 Boole 装置逻辑的正式公理在上建立了符号逻辑的领域

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。