字1 字21 字41 字61 字81 字101 成语1 成语21 成语41 成语61 成语81 成语101 词语1 词语101 词语201 词语301 词语401 词语501 词语601 单词1 单词21 单词41 单词61 单词81 单词101 诗词1 诗词101 诗词201 诗词301 诗词401 诗词501 诗词601 诗人1 诗人21 诗人41 诗人61 诗人81 诗人101 名句1 名句21 名句41 名句61 名句81 名句101 近反义词1 近反义词21 近反义词41 近反义词61 近反义词81 近反义词101 造句1 造句101 造句201 造句301 造句401 造句501 造句601 字笔顺1 字笔顺21 字笔顺41 字笔顺61 字笔顺81 字笔顺101 歇后语1 谜语1 谜语11 谜语21 文言文1 文言文2 文言文3 百家姓1 百家姓2 百家姓3
你好!欢迎来到学习娃,一起开启学习通关之路。
广告位
学习娃查询工具汉语词典
汉语词典
汉语词典

汉语词语拼音 汉语解释

词语知识

数理逻辑

【拼音】: shù lǐ luó ji
【简体】: 数理逻辑
【繁体】: 數理邏輯
  • 解释explain
  • 词语造句
词语解释
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。数理逻辑(數理邏輯)[shùlǐluóji]⒈亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
综合释义
数理逻辑可视为数学的逻辑分析,但通常与符号逻辑@@@@@SymbolicLogic@@@@@之涵义相同,所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种:狭义的数理逻辑专指逻辑的演算,包含命题演算及述词演算@@@@@PropositionalandPredicateCalculi@@@@@;广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号,因此相当形式化,其有效性往往与应用的内容无关。
汉语大词典
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
数理逻辑

逻辑研究应提倡兼容,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。

总之,宪昌之于检察院工作中,潜心汲取数理逻辑之缜密精严,娴熟把握形象思维之迁想妙得;凛遵宪典,严惩墨吏,体恤民瘼,申张正义。

蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑,并在蒙古民歌中发展到相当规范的程度。

数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性,并给以证明。

基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。

如何使经典数理逻辑柔性化,以包容各种不确定性和演化,是逻辑学研究面临的新挑战。

数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。

数理逻辑学家宣称,"完美十字"的排列不仅象征着日历中百年一遇的巧合,也是"再生的强大时刻"。

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

通过制造资本账户上的人为赤字,基于数理逻辑,中国正在制造人为的经常账户顺差。

更多 >>

字义分解

shù

[ shù ]

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

2. 几,几个:数人。数日。

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

4. 命运,天命:天数。气数。

[ shǔ ]

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

2. 比较起来突出:数得着。

3. 责备,列举过错:数落。

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

[ shuò ]

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

(1)治玉。

(2)(名)物质组织的条纹;纹理。

(3)(名)道理;事理。

(4)(名)自然科学;有时特指物理学。

(5)(名)管理;办理。

(6)(动)整理;使整齐:~发|~一~书籍。

(7)(动)对别人的言语行动表示态度;表示意见(多用于否定):路上碰见了;谁也没~谁|置之不~。

(8)(Lǐ)姓。

luó

(动)巡察:巡~|~骑|~卒。

ji

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

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

3.  和,和睦:辑睦。

4.  敛,拖着不便脱落。

5.  古同“”,连缀。

6.  古代称协调驾车的众马。

趣味知识

  • 四川高考志愿填报方式是什么
    四川高考志愿填报方式是什么

    四川高考志愿填报方式是什么

    四川高考志愿填报方式:1、进入页面;2、修改密码;3、填报须知;4、查看个人基本信息;5、志愿类别选择;6、填写志愿和修改志愿;7、填写或修改志愿结束后,单击页面底部的[保存并提交]按钮,则所填写的志愿数据将得到保存,保存即表示该批次志愿已经提交。

  • 新疆高考志愿填报方式是什么
    新疆高考志愿填报方式是什么

    新疆高考志愿填报方式是什么

    新疆高考志愿填报方式:1、建议考生上网填报志愿前,先将选报的志愿填写到志愿草表上。2、登录指定网页后输入信息。3、首次登录后必须修改密码。4、选择批次填报志愿。5、检查核对。6、保存志愿信息后退出。

  • 北京高考志愿填报方式是什么
    北京高考志愿填报方式是什么

    北京高考志愿填报方式是什么

    1、考生用用户名和密码登录系统。2、阅读承诺书并确认。3、进入填报页面。4、点击要填写的批次,进入志愿填写页面。5、如果考生在填报过程中需要修改志愿者信息,可以在指定时间内进行自愿修改。6、考生自愿验证正确后,安全退出系统。7、各阶段自愿填写完成后,系统将关闭3小时。

Top