首页汉语词典数理逻辑数理逻辑的意思_解释_造句

shù

luó

ji

数理逻辑

拼音 shù lǐ luó ji 注音 ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一 词性 名词
拼音 shù lǐ luó ji 注音 ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一
词性 名词
结构 (左右结构) (左右结构) (左下包围结构) (左右结构)
数理逻辑的意思
词语解释:
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
网络解释:

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

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

    基本字义

    数(數)shù(ㄕㄨˋ)

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

    ⒉  几,几个:数人。数日。

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

    ⒋  命运,天命:天数。气数。

    其他字义

    数(數)shǔ(ㄕㄨˇ)

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

    ⒉  比较起来突出:数得着。

    ⒊  责备,列举过错:数落。

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

    其他字义

    数(數)shuò(ㄕㄨㄛˋ)

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

    异体字

    • ?
    • ?
    • ?
    • ?

    汉英互译

    a few、count、enumerate、fate、list、number、numeral

    造字法

    形声

    English

    number; several, count; fate

    读音:lǐ

    基本字义

    lǐ(ㄌ一ˇ)

    ⒈  物质本身的纹路、层次,客观事物本身的次序:心理。肌理。条理。事理。

    ⒉  事物的规律,是非得失的标准,根据:理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。

    ⒊  自然科学,有时特指“物理学”:理科,数理化。理疗。

    ⒋  按事物本身的规律或依据一定的标准对事物进行加工、处置:理财。理事。管理。自理。修理。总理。

    ⒌  对别人的言行作出反应:理睬。答理。

    ⒍  古代指狱官、法官。

    ⒎  姓。

    异体字

    • 理

    汉英互译

    manage、natural science、pay attention to、reason、texture、tidy up、truth

    造字法

    形声:从王、里声

    English

    reason, logic; manage

    读音:luó

    基本字义

    逻(邏)luó(ㄌㄨㄛˊ)

    ⒈  巡察:巡逻。逻吏(巡逻官)。逻骑。逻卒。

    ⒉  遮拦:“蛛蝥结网工遮逻”。

    异体字

    汉英互译

    patrol

    造字法

    形声:从辶、罗声

    English

    patrol; inspect; watch; patrol

    读音:ji

    基本字义

    辑(輯)jí(ㄐ一ˊ)

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

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

    ⒊  和,和睦:辑睦。

    ⒋  敛,拖着不便脱落。

    ⒌  古同“缉”,连缀。

    ⒍  古代称协调驾车的众马。

    异体字

    • ?
    • ?
    • ?
    • ?

    汉英互译

    collect、compile、edit、part、volume

    造字法

    形声:左形右声

    English

    gather up, collect; edit, compile

    按照词语首拼查询
    请使用Ctrl+D进行收藏。
    确认
    请使用Ctrl+D进行收藏。
    确认
    是否确认删除?
    确定 取消