数理逻辑
数理逻辑的意思
词语解释
数理逻辑
◎亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
网络解释
数理逻辑
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
数理逻辑的单字字义
-
数
拼音shù 部首攵 总笔画13数 [ shù ] 基本解释:①一个一个地计算。例如不可胜～。～九。 ②比较起来突出。例如～得着。 ③责备，列举过错。例如～落。 ④谈论，述说。例如～说。～典忘祖（喻忘掉自己本来的情况，亦喻对于本国历史的无知）。... [更多解释]
-
理
拼音lǐ 部首王 总笔画11理 [ lǐ ] 基本解释:①物质本身的纹路、层次，客观事物本身的次序。例如心～。肌～。条～。事～。 ②事物的规律，是非得失的标准，根据。例如～由。～性。～智。～论。～喻。～解。～想。道～。～直气壮。 ③自然科... [更多解释]
-
逻
拼音luó 部首辶 总笔画11逻 [ luó ] 基本解释:①巡察。例如巡～。～吏（巡逻官）。～骑。～卒。 ②遮拦：“蛛蝥结网工遮～”。 详细解释:动词 1.形声。从辵（ chuò ），表示与行走有关，罗声。本义：巡察，巡逻。 2.同... [更多解释]
-
辑
拼音ji 部首车 总笔画13辑 [ ji ] 详细解释:1.輯 ji。 2.——见“逻辑”（ luóji ） 3.另见 jí。 [更多解释]
