难检字字典在线查询

汉语拼音：shù lǐ luó ji

亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

数理逻辑 [数理逻辑可视为数学的逻辑分析，但通常与符号逻辑@@@@@Symbolic Logic@@@@@之涵义相同，所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种：狭义的数理逻辑专指逻辑的演算，包含命题演算及述词演算@@@@@Propositional and Predicate Calculi@@@@@；广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号，因此相当形式化，其有效性往往与应用的内容无关。#####]

1. 数理逻辑可视为数学的逻辑分析，但通常与符号逻辑@@@@@Symbolic Logic@@@@@之涵义相同，所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种：狭义的数理逻辑专指逻辑的演算，包含命题演算及述词演算@@@@@Propositional and Predicate Calculi@@@@@；广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号，因此相当形式化，其有效性往往与应用的内容无关。

• Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well.

  数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。

• Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

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

• Indeed, he has come to it by way of Aeronautical Engineering and Mathematical Logic.

  实际上，他从事哲学的方式跟对待航空科学和数理逻辑没什么两样。

• Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.

  数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。

• This course involves mathematic logic, theory of set, algebraic system and the theory of graph.

  它的主要内容包括数理逻辑、集合论、代数结构和图论。

• The problem couldn't even have been seriously tackled without the benefit of modern advances in mathematical logic.

  如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。

• My mathematical logic ability stronger also, can keep in class in the forefront of the class.

  我的数理逻辑能力也比较强，在班级里能保持在班级前列。

• Traditional logic is utterly different from mathematic logic in principle.

  从主导思想上说，传统逻辑和数理逻辑殊异。

• Mathematic logic mainly deals with deduction and operation of formula.

  数理逻辑主要是公式的演算和证明。