数理逻辑

数理逻辑的意思、数理逻辑怎么读
拼音：[shù lǐ luó ji]

数理逻辑 基本解释

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

网络解释

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

相关词语

数组词 数白论黄 数表 数驳 数不清 数不上 数不胜数 数不着 数参

理组词 理安 理本 理比 理辨 理鬓 理兵 理柄 理不胜词

逻组词 逻堡 逻杯 逻逼 逻兵 逻捕 逻察 逻厂 逻车

辑组词 辑安 辑本 辑补 辑褫 辑定 辑合 辑和 辑集

其他相关

字母S开头的词语shuliluoji