汉典
|
古籍
|
诗词
|
书法
|
通识
查询索引
............................
汉字拆分查询
汉字部件检索
字典部首索引
繁体部首索引
字典拼音索引
字典注音索引
康熙部首索引
说文部首索引
繁体
条目
条目
汉字
词语
成语
汉字拆分
拼音
笔顺
五笔编码
仓颉编码
四角号码
UNICODE
导航
汉典
古籍
诗词
书法
通识
查询索引
............................
汉字拆分查询
汉字部件检索
字典部首索引
字典繁体部首
字典拼音索引
字典注音索引
康熙部首索引
说文部首索引
繁体
条目
数理逻辑(數理邏輯)
拼音
shù lǐ luó ji
注音
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
数理逻辑
词语解释
解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
© 汉典
数理逻辑
网络解释
百度百科
数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)
形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
© 汉典
【
加载评论
】
近同音
竖毛
戍逻
竖刁
述语
束藴请火
束囊
衡撃
为万安计
沙鸥翔集
斗箕
体己
簸箕
相关词语
数据库
数米充饥
数叨
数计
数典
数往知来
大家数
遍数
小数
恒河沙数
被开方数
世数
辑刊
辑录
辑和
辑印
辑定
辑安
编辑
访辑
修辑
缀辑
选辑
购辑