shù lǐ luó ji

数理逻辑

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

数理逻辑的意思

词语解释

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

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

网络解释

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

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

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

数理逻辑的字义分解

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

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

  • 拼音 部首 总笔画 11

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

  • 拼音 部首 总笔画 13

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

  • 拼音 luó 部首 总笔画 11

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

数理逻辑的分字组词

数理逻辑的相关词语