数理逻辑是什么意思

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

形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

1、弗雷格被公认为是现代数理逻辑的创始人，分析哲学的先驱。

2、数理逻辑学家宣称，完美十字的排列不仅象征着日历中百年一遇的巧合，也是再生的强大时刻。

3、数理逻辑学家宣称，”完美十字”的排列不仅象征着日历中百年一遇的巧合，也是”再生的强大时刻”。

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

5、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。

6、总之，宪昌之于检察院工作中，潜心汲取数理逻辑之缜密精严，娴熟把握形象思维之迁想妙得;凛遵宪典，严惩墨吏，体恤民瘼，申张正义。

7、蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。

8、我不明白这复杂的数理逻辑运算。

9、逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。

10、定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。

11、传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。

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

13、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。

14、特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。

15、通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。