数理逻辑 基本解释

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

数理逻辑 详细解释

数理逻辑 shù lǐ luó jí
词语意思：
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
分词解释：
学问：
系统的知识。也泛指知识：学问渊博｜很有学问。
某些：
表示不止一个或一种的不定数量。
一切：
1.权宜;临时。
2.副词。一概;一律。
3.全部，所有。
4.泛指全部事物。
5.一般的;普通的。
研究：
①钻研；探求事物的性质、规律等：凡事须得研究，才会明白｜研究人类学。
②考虑；商讨：这个方案领导正在研究｜请大家来研究问题。
广义：
范围较宽的定义（跟‘狭义’相对）：广义的杂文也可以包括小品文在内。

网络解释

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

相关词语

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

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

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

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

其他相关

字母S开头的词语shuliluoji

---