首页应用游戏资讯攻略

多特多特字典数理逻辑

数

理

逻

辑

[ shù lǐ luó ji ]

注音：ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ

基本解释网络解释

“数理逻辑” 基本解释

数理逻辑 [ shù lǐ luó ji ]

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

“数理逻辑” 网络解释

百度百科

数理逻辑（用数学方法研究逻辑或形式逻辑的学科）

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

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

“数理逻辑” 造句

更多

1.

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

定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
3.

数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
4.

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

不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
6.

传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
7.

特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。
8.

在数理逻辑中研究的主要对象是各种演算。
9.

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

莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。

“数理逻辑” 分词解释

数

● 数（數） shù ㄕㄨˋ 表示、划分或计算出来的量：～目。～量。～词。～论（数学的一支，主要研究正整数的性质以及和它有关的规律�
详情
理

基本字义● 理lǐ ㄌㄧˇ 物质本身的纹路、层次，客观事物本身的次序：心～。肌～。条～。事～。事物的规律，是非得失的标准，根据：～由。～
详情
逻

基本字义● 逻（邏）luó ㄌㄨㄛˊ 巡察：巡～。～吏（巡逻官）。～骑。～卒。遮拦：“蛛蝥结网工遮～”。
详情
辑

基本字义 ● 辑（輯） jí ㄐㄧˊ 聚集，特指聚集材料编书：～录。～要。～逸。编～。纂～。聚集很多材料而成的书刊：丛书第一～�
详情

“数理逻辑” 相关成语

“数理逻辑” 相关词语

大家都在搜索

汉字词语成语

网站地图意见反馈回到首页