英语释义

• any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

片语

mathematical and logic model逻辑数理型

Elements of Mathematical Logic数理逻辑基础

Mathematical logic and foundations数理逻辑与基础

Mathematical Marketing Logic数字逻辑

symbolic logic[数] 符号逻辑；数理逻辑；符号论理学

mathematical logicsymbolic logic数理逻辑

Fundamentals of mathematical logic数学逻辑基础

Archive for Mathematical Logic数理逻辑档案

Elementary Mathematical Logic数理逻辑入门

英汉例句

• the implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.

  数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。

• predicate calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

  谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

• mathematical logic , also known as symbolic logic , was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.

  数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。

• this paper introduces the basic knowledge of mathematical logic, and the application of mathematical logic in computer science, in particular, in artificial intelligence(ai) and database(db).

  本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。

• the tool mr barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.

  巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

• principles of mathematical logic represents one of hilbert's important contributions to that debate.

  数学逻辑原则代表了该次辩论的希尔伯特的重要贡献之一。

• a new approach to calculate the heavenly stems and earthly branches corresponding to the lunar year, month and date was invented by drawing on simple mathematical logic and the remainder of a formula.

  公式求金法是利用浅显的数学逻辑指导计算，专用于推求阳历年、日、时（月仍为农历）之相应干支的一种新的方法。

• mathematical logic is one of the difficulties of 「discrete mathematics」.

  数理逻辑是《离散数学》的难点之一。

• in mathematical logic in the study is the main target of all kinds of calculus.

  在数理逻辑中研究的主要对象是各种演算。

• watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.

  罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。

• how to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.

  如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。

• it also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.

  同时设立了泛函分析、数理逻辑等研究组，以加强相应理论学科的研究。

• i learn the formulas that have been proved by mathematical logic and empirical evidence.

  我学到的是已经被数学推理和实际经验所证明的公式。

• by means of the language of mathematical logic the invariance of hamilton principle under canonical transformation is expressed and proved.

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