shù lǐ luó ji

数理逻辑

拼音
shù lǐ luó ji
注音
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ˙
词性
名词
繁体
數理邏輯

数理逻辑的意思

词语解释

数理逻辑(數理邏輯)shù lǐ luó ji

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

网络解释

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

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

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

数理逻辑的字义分解

  • 数

    拼音 shùshǔshuò 部首 攵 总笔画 13

    ["①表示、划分或计算出来的量。如 ~目。~量。~词。~论(数学的一支,主要研究正整数的性质以及和它有关的规律)。~控。②几,几个。如 ~人。~日。③技艺,学术:“今夫弈之为~,小~也”。④命运,天命。如 天~。气~。","①一个一个地计算。如 不可胜~。~九。②比较起来突出。如 ~得着。③责备,列举过错。如 ~落。④谈论,述说。如 ~说。~典忘祖(喻忘掉自己本来的情况,亦喻对于本国历史的无知)。","◎屡次。如 ~见不鲜(亦称“屡见不鲜”)。"]详细解释

  • 理

    拼音 lǐ 部首 王 总笔画 11

    ["①物质本身的纹路、层次,客观事物本身的次序。如 心~。肌~。条~。事~。②事物的规律,是非得失的标准,根据。如 ~由。~性。~智。~论。~喻。~解。~想。道~。~直气壮。③自然科学,有时特指“物理学”如 ~科,数~化。~疗。④按事物本身的规律或依据一定的标准对事物进行加工、处置。如 ~财。~事。管~。自~。修~。总~。⑤对别人的言行作出反应。如 ~睬。答~。⑥古代指狱官、法官。⑦姓。"]详细解释

  • 辑

    拼音 jí 部首 车 总笔画 13

    ["①聚集,特指聚集材料编书。如 ~录。~要。~逸。编~。纂~。②聚集很多材料而成的书刊。如 丛书第一~。③和,和睦。如 ~睦。④敛,拖着不便脱落。⑤古同“缉”,连缀。⑥古代称协调驾车的众马。"]详细解释

  • 逻

    拼音 luó 部首 辶 总笔画 11

    ["①巡察。如 巡~。~吏(巡逻官)。~骑。~卒。②遮拦:“蛛蝥结网工遮~”。"]详细解释

数理逻辑的分字组词

数理逻辑的相关词语