数理逻辑词语解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。数理逻辑网络解释
百度百科
数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
数理逻辑的单字意思解释
逻字的基本解释
● 逻
（邏）
luó ㄌㄨㄛˊ
◎ 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。
◎ 遮拦：“蛛蝥结网工遮逻”。
英文翻译
◎ 逻
patrol
理字的基本解释
● 理
lǐ ㄌㄧˇ
◎ 物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事理。
◎ 事物的规律，是非得失的标准，根据：理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。
◎ 自然科学，有时特指“物理学”：理科，数理化。理疗。
◎ 按事物本身的规律或依据一定的标准对事物进行加工、处置：理财。理事。管理。自理。修理。总理。
◎ 对别人的言行作出反应：理睬。答理。
◎ 古代指狱官、法官。
◎ 姓。
英文翻译
◎ 理
manage natural science pay attention to reason texture tidy up truth
数字的基本解释
● 数
（數）
shù ㄕㄨˋ
◎ 表示、划分或计算出来的量：数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。
◎ 几，几个：数人。数日。
◎ 技艺，学术：“今夫弈之为数，小数也”。
◎ 命运，天命：天数。气数。
● 数
（數）
shuò ㄕㄨㄛˋ
◎ 屡次：数见不鲜（亦称“屡见不鲜”）。
英文翻译
◎ 数
a few count enumerate fate list number numeral
辑字的基本解释
● 辑
（輯）
jí ㄐㄧˊ
◎ 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
◎ 聚集很多材料而成的书刊：丛书第一辑。
◎ 和，和睦：辑睦。
◎ 敛，拖着不便脱落。
◎ 古同“缉”，连缀。
◎ 古代称协调驾车的众马。
英文翻译
◎ 辑
collect compile edit part volume