数理逻辑
词语解释
数理逻辑[ shù lǐ luó ji ]
1.亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效
网络解释
1.数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）
释 形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。
释 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
相关汉字
词语组词
相关词语
- shǔ bù shèng shǔ数不胜数
- shǔ diǎn wàng zǔ数典忘祖
- shǔ yī shǔ èr数一数二
- shù yǐ wàn jì数以万计
- shēng lǐ yán shuǐ生理盐水
- dì lǐ xìn xī地理信息
- wù lǐ xìng zhì物理性质
- zǒng lǐ yá mén总理衙门
- kǒu luó dù zǎn口逻肚攒
- shǎo shù mín zú少数民族
- nì fǎn xīn lǐ逆反心理
- lǐ xìng rèn shi理性认识
- lǐ xiǎng zhǔ yì理想主义
- duì shù hán shù对数函数
- děng chà jí shù等差级数
- děng chā shù liè等差数列
数理逻辑造句
- 1、蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。
- 2、逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。
- 3、数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。
- 4、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
- 5、特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。
- 6、如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
- 7、通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
- 8、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
- 9、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
- 10、数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
- 11、传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
- 12、数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
- 13、数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
- 14、柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
- 15、不妨说，人与机器的思考方式存在着本质差异，计算机依靠纯粹的数理逻辑以及人为编入的强大的数据库，而人的思维是理性逻辑与情感的综合体。
- 16、若干年前叛逆的心理让我厌倦上学，而现在，那种上进的劲头已经渗透到这里，使我清楚的认识到课本的知识虽然对于日后的工作无大用，却内在地提高了我的人文修养，数理逻辑，是一种潜移默化的进步。
- 17、用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
- 18、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
- 19、在数理逻辑中研究的主要对象是各种演算。
- 20、我只看到了女儿好动易分心，却没有看到她好奇心强观察力敏锐；我只看到了女儿做事毛糙动作拖拉，却没看到她主动性强联想力丰富；我看了她一知半解的数理逻辑，却没看到她多彩的绘画和美妙的玩具拼搭。
