数理逻辑
拼音:shù lǐ luó ji
注音:ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一
词性: 名词

数理逻辑的意思

词语解释:

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

网络解释:

数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)

  • 形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。
  • 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
    • 1、传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
    • 2、数理逻辑学家宣称,"完美十字"的排列不仅象征着日历中百年一遇的巧合,也是"再生的强大时刻"。
    • 3、蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑,并在蒙古民歌中发展到相当规范的程度。
    • 4、通过制造资本账户上的人为赤字,基于数理逻辑,中国正在制造人为的经常账户顺差。
    • 5、特别值得一提的是,我发现数理逻辑课或是电脑编程课能够很的训练人的逻辑思维能力,从而做到精确思考。
    • 6、我不明白这复杂的数理逻辑运算。

    字义分解

    • 拼音shù,shǔ,shuò
    • 注音ㄕㄨˋ,ㄕㄨˇ,ㄕㄨㄛˋ
    • 笔划13
    • 繁体
    • 五笔OVTY

    shù

    1. 表示、划分或计算出来的量:数目。数量。数词。数论(数学的一支,主要研究正整数的性质以及和它有关的规律)。数控。

    2. 几,几个:数人。数日。

    3. 技艺,学术:“今夫弈之为数,小数也”。

    4. 命运,天命:天数。气数。

    shǔ

    1. 一个一个地计算:不可胜数。数九。

    2. 比较起来突出:数得着。

    3. 责备,列举过错:数落。

    4. 谈论,述说:数说。数典忘祖(喻忘掉自己本来的情况,亦喻对于本国历史的无知)。

    shuò

    1. 屡次:数见不鲜(亦称“屡见不鲜”)。

    • 拼音
    • 注音ㄌㄧˇ
    • 笔划11
    • 繁体
    • 五笔GJFG
    • 五行

    (1)治玉。

    (2)(名)物质组织的条纹;纹理。

    (3)(名)道理;事理。

    (4)(名)自然科学;有时特指物理学。

    (5)(名)管理;办理。

    (6)(动)整理;使整齐:~发|~一~书籍。

    (7)(动)对别人的言语行动表示态度;表示意见(多用于否定):路上碰见了;谁也没~谁|置之不~。

    (8)(Lǐ)姓。

    • 拼音luó
    • 注音ㄌㄨㄛˊ
    • 笔划11
    • 繁体
    • 五笔LQPI
    • 五行

    (动)巡察:巡~|~骑|~卒。

    • 拼音
    • 注音ㄐㄧˊ
    • 笔划13
    • 繁体
    • 五笔LKBG
    • 五行

    1.  聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。

    2.  聚集很多材料而成的书刊:丛书第一辑。

    3.  和,和睦:辑睦。

    4.  敛,拖着不便脱落。

    5.  古同“缉”,连缀。

    6.  古代称协调驾车的众马。