亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
1.mathematical logic
读音:shù,shǔ
[shù,shǔ]
表示、划分或计算出来的量:数目。数量。数词。数论(数学的一支,主要研究正整数的性质以及和它有关的规律)。数控。 ◎ 几,几个:数人。数日。 ◎ 技艺,学术:“今夫弈之为数,小数也”。 ◎ 命运,天命:天数。气数。● 数 (數) shuò ㄕㄨㄛˋ ◎ 屡次:数见不鲜(亦称“屡见不鲜”)。
读音:lǐ
[lǐ]
物质本身的纹路、层次,客观事物本身的次序:心理。肌理。条理。事理。 ◎ 事物的规律,是非得失的标准,根据:理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。 ◎ 自然科学,有时特指“物理学”:理科,数理化。理疗。 ◎ 按事物本身的规律或依据一定的标准对事物进行加工、处置:理财。理事。管理。自理。修理。总理。 ◎ 对别人的言行作出反应:理睬。答理。 ◎ 古代指狱官、法官。 ◎ 姓。
读音:luó
[luó]
巡察:巡逻。逻吏(巡逻官)。逻骑。逻卒。 ◎ 遮拦:“蛛蝥结网工遮逻”。
读音:ji,jí
[ji,jí]
聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。 ◎ 聚集很多材料而成的书刊:丛书第一辑。 ◎ 和,和睦:辑睦。 ◎ 敛,拖着不便脱落。 ◎ 古同“缉”,连缀。 ◎ 古代称协调驾车的众马。