数 理 逻 辑
“数理逻辑”的读音
- 拼音读音：
- [shù lǐ luó ji]
- 汉字注音：
- ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
- 简繁字形：
- 數理邏輯
- 是否常用：
- 是
“数理逻辑”的意思
基本解释
基本解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。网络解释
数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
“数理逻辑”的单字解释
【数】：[shù]1.数目：次数。数额。2.几；几个：数次。数日。3.天数；命运：气数。在数难逃。4.表示事物的量的基本数学概念。由于生产实践对计数和测量的需要，首先产生了自然数（正整数），后又逐渐产生了分数、零、无理数、负数、虚数等。5.一种语法范畴。表示名词、代词所指事物的数量。6.指数学：数理化。[shǔ]1.点算：数数（shù）。数不清。2.比较起来最突出：数得上。数一数二。3.责备；列举错误：数说。数落。[shuò]屡次：频数。
【理】：1.物质组织的条纹；纹理：木理。肌理。条理。2.道理；事理：合理。理屈。理当如此。3.自然科学，有时特指物理学：理科。数理化。4.管理；办理：处理。理财。当家理事。5.整理；使整齐：理发。理一理书籍。6.对别人的言语行动表示态度；表示意见（多用于否定式）：路上碰见了，谁也没理谁。置之不理。7.姓。
【逻】：巡察：巡逻。逻骑。逻卒。
【辑】：1.编辑；辑录。2.整套书籍、资料等按内容或发表先后次序分成的各个部分：新闻简报第一辑。这部丛书分为十辑，每辑五本。
“数理逻辑”的相关词语
“数理逻辑”造句
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
数理逻辑学家宣称，"完美十字"的排列不仅象征着日历中百年一遇的巧合，也是"再生的强大时刻"。
传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。