数理逻辑

Methods Based on the semantic theory of nonclassical logic.

非经典数理逻辑的语义理论。

In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Pro...

为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。

Deductive database makes good use of predicate logic.

因为它有严格、系统的数理逻辑理论基础和较强的推理能力。

Mathematical logic is the formal study of mathematical structures and systems; its subparts include proof theory and model theory.

数理逻辑是数学结构和系统的正式研究，其子部分包括证明理论和模型理论。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.

本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。

The development of Montague's ideas can be divided into three stages: In the first stage (1955-1958), Montague was influenced by Frege, Russell, Carnap and Tarski, focusing on Mathematic Logic, Mathematical Foundation and Recursion Theory.

蒙太格思想的发展分为三个阶段：第一段（1955-1958）受弗雷格、罗素、卡尔纳普、塔斯基问题意识的支配，关注数理逻辑、数学基础、递归函数论等问题。

Patten provides a chapter-by-chapter skeleton key to Alice, which meticulously demonstrates how its various episodes reveal Dodgson's profound knowledge of the rules of clear thinking, informal and formal logic, symbolic logic, and human nature.

作者逐章、细致地阐述了《爱丽丝漫游仙境》里的各种情节是如何把刘易斯关于数理逻辑拥有的渊博知识、对人性的认识和他清晰的创作思路体现的淋漓尽致！

Do not gum up the work by telling mother what we are going to do .

别告诉母亲我们要干的事，那会把事情搞糟的。

In recent years, application of the partial prestressed concrete beam s is developed.

近年来，随着部分预应力砼梁应用的推广，发现我国规范所采用的名义拉应力法的计算结果不稳定。