数理逻辑

【词条】数理逻辑(數理邏輯)

【拼音】shù lǐ luó ji

【注音】ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ


词语解释

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

网络解释

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

  • '数'字开头词语

    数码
    ◎ 数码 shùmǎ[numeral;number] 数字;数目-----------------国语辞典:计数的数字。如:「这次进货的总数码多少?」
    数数
    1.犹汲汲。迫切貌。 2.屡次;常常。-----------------国语辞典:计算数目。如:「妈妈教小明数数儿。」急迫追求。《庄子.逍遥游》:「彼其于世,未数数然也。」屡次、常常。《汉书.卷五四.李广传》:「立政等见陵,未得私语,即目视陵,而数数自循其刀环。」唐.白居易〈醉后走笔酬刘五主簿长句之赠兼简张大贾二十四先辈昆季〉诗:「张贾弟兄同里巷,乘间数数来相访。」屡次、频繁。《三国志.卷三二.蜀书.先主备传》:「曹公使夏侯渊、张郃屯汉中,数数犯暴巴界。」唐.白居易〈醉后走笔酬刘五主簿长句之赠兼简张大贾二十四先辈昆季〉诗:「张贾弟兄同里巷,乘闲数数来相访。」急迫。《庄子.逍遥游》:「彼其于世,未数数然也。」
    数量词
    ◎ 数量词 shùliàngcí[number and classifier] 数词和量词合用时的统称。如“三个人”的“三个”,“一群羊”的“一群”,“来一回”的“一回”。如“一张纸、一页(书)、(去)一次”-----------------国语辞典:表示数目的文词,加上计算的单位量词称为「数量词」。如一本、三匹、四尾、五趟。
    数九
    ◎ 数九 shǔjiǔ[the nine periods (of nine days each) following the winter solstice] 指冬至后开始的九个“九”天,是一年中最寒冷的时节,也指进入这个时节 数九寒天-----------------国语辞典:俗称冬至后九九八十一天后方春风送暖,寒意全消。故自冬至起称为「数九」。
    数量
    ◎ 数量 shùliàng[quantity] 事物的多少产品质量不高,数量再多也没用-----------------国语辞典:总额的多寡。如:「数量不多,欲购从速。」近数目反质数
    数目
    ◎ 数目 shùmù(1) [number;amount]∶事物的个数(2) [standard][方言]∶衡量事物的标准无拨啥数目,晚得来!——《海上花列传》-----------------国语辞典:通过单位标示所表现出来的具体数量概念。《老残游记.第一六回》:「如蒙委员代为昭雪,七千、八千俱可,六千五百两的数目却不敢答应。」近数量
    数不胜数
    ◎ 数不胜数 shǔbùshèngshǔ[numerous] 数量极多,无法数清我们决不能像旧学校那样,用数不胜数的,九分无用一分曲了的知识来充塞青年的头脑。——《论学习共产主义》-----------------国语辞典:数量很多,难以尽数。如:「诗在唐朝时进入鼎盛时期,盛唐时期所出现的诗人真是不计其数,数不胜数。」近不可胜数
    数一数二
    ◎ 数一数二 shǔyī-shǔ èr(1) [enumerate]∶一条一条地列举路人争问其故,孙老九数一数二的逢人告诉。——《警世通言》(2) [either the first or second]∶形容很突出,数得着他是厂里数一数二的能手-----------------国语辞典:出类拔萃。《儒林外史.第二九回》:「这人是有子建之才,潘安之貌,江南数一数二的才子。」《文明小史.第二○回》:「论起水码头来,除掉上海,也就数一数二了。」反累万盈千详细的逐项述说。《警世通言.卷三四.王娇鸾百年长恨》:「路人争问其故,孙老儿数一数二的逢人告诉。」《醒世恒言.卷一三.勘皮靴单证二郎神》:「冉贵不慌不忙,数一数二细细分剖出来。」
    数落
    ◎ 数落 shǔ·luo(1) [rebuke;scold sb.by enumerating his wrongdoings](2) 列举过失进行指责,也泛指指责今天在老板那儿挨了一顿数落数落孩子(3) 不停嘴地列举着说他数落着一件又一件往事-----------------国语辞典:责备。《初刻拍案惊奇.卷一五》:「陈秀才被马氏数落一顿,嘿嘿无言。」《红楼梦.第三三回》:「进来被王夫人数落教训,也无话可回。」也作「诉落」。
    数说
    ◎ 数说 shǔshuō(1) [scold]∶责骂;数落前楼的二房东老太太正在唠唠叨叨地数说他的小孙女。——茅盾《蚀》着实数说(2) [enumerate]∶列举叙述;逐一叙说她把昨天的事,一五一十地数说了一遍。——浩然《喜鹊登枝》-----------------国语辞典:逐项的述说。元.纪君祥《赵氏孤儿.第二折》:「我程婴抱的这孤儿出门,被觊鲱将军要拏的去报与屠岸贾,是程婴数说了一场,那觊鲱将军放我出了府门。」责备人的罪过。《儒林外史.第二三回》:「牛玉圃在万家吃酒,直到更把天才回来,上楼又把牛浦数说了一顿。」

    '理'字开头词语

    理事
    ◎ 理事 lǐshì(1) [member of a council]∶理事会的成员(2) [steward]∶代表团体行使职权并处理事务的人员-----------------国语辞典:治事,处理事务。《书经.武成》「建官惟贤,位事惟能」句下汉.孔安国.传:「居位理事,必任能事。」《红楼梦.第六十六回》:「那时凤姐已大愈,出来理事行走了。」职官名:(1)​ 清置理事官,掌理旗务;又置理事同事,掌旗民狱讼之事。(2)​ 清置,为驻外之官,后改称为「领事」。代表公司、团体执行事务、行使权力的人。本体和现象。〈华严金师子章〉:「金与师子,相容成立,一多无碍;于中理事各各不同,或一或多,各住各位,名一多相容不同门。」英语 member of council德语 Ratsherr (S)​, Senator (S)​法语 membre du conseil, administrateur, gérant

    理尚
    志趣爱好。

    理头
    东汉末天师道徒头领名称。

    理物
    犹治民。

    理折
    道理令人折服。

    理例
    1.常规,成例。

    理赏
    犹行赏,给予奖赏。

    理发师
    ◎ 理发师 lǐfàshī(1) [barber]∶以剪发、饰发、剃发、修剪胡须、为妇女美容以及有关服务项目(如整治脸部或头顶或以前从事牙医和外科术)为职业的人(2) [hairdresser]∶以为妇女理发和美容为职业的人-----------------国语辞典:替人整理、修剪头发的人。也作「理发师傅」。

    理民
    1.治理百姓。

    理不胜辞
    国语辞典:文章的说理不够畅达,无法胜过所使用的文词。《文选.曹丕.典论论文》:「孔融体气高妙,有过人者,然不能持论,理不胜辞;以至乎杂以嘲戏,及其所善,杨、班俦也。」

    '辑'字开头词语

    辑安
    安抚。

    辑补
    辑录增补。

    辑集
    1.收集有关作品或资料编成集子。

    辑绥
    1.安抚。

    辑睦
    ◎ 辑睦 jímù[harmonious] 和睦君臣辑睦,内外同心-----------------国语辞典:和睦。《左传.僖公十五年》:「群臣辑睦,甲兵益多。」汉.桓宽《盐铁论.相刺》:「安众庶,育群生,使百姓辑睦,无怨思之色。」也作「辑穆」。近和睦

    辑本
    指辑录散佚文稿编成的本子。

    辑洽
    和协;协调。

    辑佚
    辑录散佚的有关资料。

    辑谐
    安定和谐。

    辑宁
    见"辑宁"。

    大家在查的词语