数理逻辑
基本解释
词条：『数理逻辑』
拼音：shù lǐ luó jí
注音：ㄕㄨˋㄕㄨˇㄕㄨㄛˋ ㄌ一ˇ ㄌㄨㄛˊ ㄐ一ˊ
解释：亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
基本字义
数（數）shù（ㄕㄨˋ）
1、表示、划分或计算出来的量：数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。
2、几，几个：数人。数日。
3、技艺，学术：“今夫弈之为数，小数也”。
4、命运，天命：天数。气数。
其他字义
数（數）shǔ（ㄕㄨˇ）
1、一个一个地计算：不可胜数。数九。
2、比较起来突出：数得着。
3、责备，列举过错：数落。
4、谈论，述说：数说。数典忘祖（喻忘掉自己本来的情况，亦喻对于本国历史的无知）。
其他字义
数（數）shuò（ㄕㄨㄛˋ）
1、屡次：数见不鲜（亦称“屡见不鲜”）。
基本字义
理lǐ（ㄌ一ˇ）
1、物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事理。
2、事物的规律，是非得失的标准，根据：理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。
3、自然科学，有时特指“物理学”：理科，数理化。理疗。
4、按事物本身的规律或依据一定的标准对事物进行加工、处置：理财。理事。管理。自理。修理。总理。
5、对别人的言行作出反应：理睬。答理。
6、古代指狱官、法官。
7、姓。
基本字义
逻（邏）luó（ㄌㄨㄛˊ）
1、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。
2、遮拦：“蛛蝥结网工遮逻”。
基本字义
辑（輯）jí（ㄐ一ˊ）
1、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
2、聚集很多材料而成的书刊：丛书第一辑。
3、和，和睦：辑睦。
4、敛，拖着不便脱落。
5、古同“缉”，连缀。
6、古代称协调驾车的众马。
中英翻译
翻译：symbolic logic
symbolic logic【计】 符号逻辑