大家都在搜：
数理逻辑的意思
亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
数理逻辑可视为数学的逻辑分析，但通常与符号逻辑@@@@@Symbolic Logic@@@@@之涵义相同，所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种：狭义的数理逻辑专指逻辑的演算，包含命题演算及述词演算@@@@@Propositional and Predicate Calculi@@@@@；广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号，因此相当形式化，其有效性往往与应用的内容无关。
数理逻辑相关字义
1.数目：次～。～额。
2.几；几个：～次。～日。
3.天数；命运：气～。在～难逃。
4.表示事物的量的基本数学概念。由于生产实践对计数和测量的需要，首先产生了自然数（正整数），后又逐渐产生了分数、零、无理数、负数、虚数等。
5.一种语法范畴。表示名词、代词所指事物的数量。
6.指数学：～理化。
1.点算：～数（shù）。～不清。
2.比较起来最突出：～得上。～一～二。
3.责备；列举错误：～说。～落。
屡次：频～。
1.物质组织的条纹；纹理：木～。肌～。条～。
2.道理；事理：合～。～屈。～当如此。
3.自然科学，有时特指物理学：～科。数～化。
4.管理；办理：处～。～财。当家～事。
5.整理；使整齐：～发。～一～书籍。
6.对别人的言语行动表示态度；表示意见（多用于否定式）：路上碰见了，谁也没～谁。置之不～。
7.姓。
巡察：巡～。～骑。～卒。
1.编辑；辑录。
2.整套书籍、资料等按内容或发表先后次序分成的各个部分：新闻简报第一～。这部丛书分为十～，每～五本。
热搜成语