数理逻辑_《数理逻辑》的意思、解释

汉语字典

新华字典
汉语词典
成语大全
近反义词
造句大全
查字组词
古诗大全
谜语大全
查歇后语
书法字帖
查百家姓
查文言文
英文单词

shù

数

lǐ

理

luó

逻

jí

辑

数理逻辑

拼音： shù lǐ luó jí

注音：ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一

词性：成语

结构：其他

shu拼音的词语 li拼音的词语 luo拼音的词语 ji拼音的词语

词语解释

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

引证解释

数理逻辑（用数学方法研究逻辑或形式逻辑的学科）

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

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

国语词典

网络解释

数理逻辑（用数学方法研究逻辑或形式逻辑的学科）

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

别人正在搜

推荐实用资料

数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）

数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）

数理逻辑（用数学方法研究逻辑或形式逻辑的学科）

数理逻辑（用数学方法研究逻辑或形式逻辑的学科）