汉语词典

汉语词语拼音 汉语解释

shù

数

lǐ

理

luó

逻

ji

辑

数理逻辑

数理逻辑

拼音: shù lǐ luó ji 注音: ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ

数理逻辑的意思

  • 词语解释:

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

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

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

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

字义分解

  • 数读音:shù

    ● 数

    (數)

    shù ㄕㄨˋ


    1. 表示、划分或计算出来的量:~目。~量。~词。~论(数学的一支,主要研究正整数的性质以及和它有关的规律)。~控。
    2. 几,几个:~人。~日。
    3. 技艺,学术:“今夫弈之为~,小~也”。
    4. 命运,天命:天~。气~。

    ● 数

    (數)

    shǔ ㄕㄨˇ


    1. 一个一个地计算:不可胜~。~九。
    2. 比较起来突出:~得着。
    3. 责备,列举过错:~落。
    4. 谈论,述说:~说。~典忘祖(喻忘掉自己本来的情况,亦喻对于本国历史的无知)。

    ● 数

    (數)

    shuò ㄕㄨㄛˋ


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

    英语 number; several, count; fate

    德语 zählen, abzählen, gelten (V)​,häufig, oft,Numerus, Numeri (Zählform; Singular, Dual od. Plural)​

    法语 nombre,nombre,quelques,plusieurs,compter

  • 理读音:lǐ

    基本字义


    ● 理

    lǐ ㄌㄧˇ

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

    英语 reason, logic; manage

    德语 Recht, Naturwissenschaft (S)​,sich kümmern, verwalten (V)​,Li (Eig, Fam)

    法语 gérer,mettre en ordre,ranger,raison,logique,vérité,science,texture,faire cas de

  • 逻读音:luó

    基本字义


    ● 逻

    (邏)

    luó ㄌㄨㄛˊ

    1. 巡察:巡~。~吏(巡逻官)。~骑。~卒。
    2. 遮拦:“蛛蝥结网工遮~”。

    英语 patrol; inspect; watch; patrol

    德语 Logik, logische (S)

    法语 patrouiller,logique

  • 辑读音:ji

    基本字义


    ● 辑

    (輯)

    jí ㄐㄧˊ

    1. 聚集,特指聚集材料编书:~录。~要。~逸。编~。纂~。
    2. 聚集很多材料而成的书刊:丛书第一~。
    3. 和,和睦:~睦。
    4. 敛,拖着不便脱落。
    5. 古同“缉”,连缀。
    6. 古代称协调驾车的众马。

    英语 gather up, collect; edit, compile

    德语 abholen, einsammeln ,zusammenstellen (V)

    法语 volume,tome,partie

欢迎交换友情链接