漢典
|
古籍
|
詩詞
|
書法
|
通識
查詢索引
............................
漢字拆分查詢
汉字部件检索
字典部首索引
字典繁體部首
字典拼音索引
字典注音索引
康熙部首索引
說文部首索引
簡體
條目
條目
漢字
詞語
成語
漢字拆分
拼音
筆順
五筆編碼
倉頡編碼
四角號碼
UNICODE
導航
漢典
古籍
詩詞
書法
通識
查詢索引
............................
漢字拆分查詢
字典部首索引
字典繁體部首
字典拼音索引
字典注音索引
康熙部首索引
說文部首索引
簡體
條目
数理逻辑
拼音
shù lǐ luó ji
注音
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
数理逻辑
詞語解釋
解釋
亦稱“符號邏輯”。狹義指用數學方法研究數學中的演繹思維以及數學基礎的學科。廣義指一切用符號和數學方法處理和研究演繹法的學問。既是數學的一個分支,又是邏輯學的一個分支。數理邏輯對數學研究和工程技術有重要意義,對一般思維中某些問題的解決也有成效。
© 漢典
数理逻辑
網路解釋
百度百科
數理邏輯 (用數學方法研究邏輯或形式邏輯的學科)
形式邏輯形式上符號化、數學化的邏輯,本質上仍屬於知性邏輯的範疇。
數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但並不屬於單純邏輯學範疇。
© 漢典
【
載入評論
】
近同音
竖毛
戍逻
竖刁
述语
束藴请火
束囊
衡撃
为万安计
沙鸥翔集
斗箕
体己
簸箕
相關詞語
数据库
数米充饥
数叨
数计
数典
数往知来
大家数
遍数
小数
恒河沙数
被开方数
世数
辑刊
辑录
辑和
辑印
辑定
辑安
编辑
访辑
修辑
缀辑
选辑
购辑