人名。（公元1815～1864）英国著名的数学家和逻辑学家，终身致力于近代符号逻辑的建立，是近代逻辑代数的开拓者。公元一八四四年在皇家学会哲学学报上发表一篇有关代数与微积分方法的论文，其后在一八四七年出版的逻辑学的数学分析一书中，更将数学与逻辑学结合在一起，进而提出布尔代数，为逻辑代数开创一个新的里程碑。 【查看详细解释】

数学上指代数学的方程式中，只含有一个未知数的式子。如x+3=5。 【查看详细解释】

1.一种利用符号来代替未知数，进而加以运算而解决问题的方法。2.代数学的简称。见『代数学』条。 【查看详细解释】

数学上指使用加、减、乘、除四种运算数学式的方法。 【查看详细解释】

为英国数学家布尔（G.Boole）发展出来的，是计算的数学基础，由０和１两种状态代表否和是的逻辑关系。 【查看详细解释】

数学上指以极限方法求函数的变化率，并进而探讨函数的各种性质，如极值、增降状态等，为基本数学的一科。 【查看详细解释】

人名。（公元1861～1947）英国哲学家兼数学家。初习数学，后从事形上学研究。 【查看详细解释】

书名。英国大科学家牛顿最重要的著作。全名是『自然哲学之数学原理』，公元一六八七年出版。全书是以数学的方法，说明星体的运动，尤其是对太阳系中力学与万有力定律的适用等。 【查看详细解释】

研究积分的性质、运算与其应用的一门学科。属数学上微积分的范围之一，乃微分学之逆，应用于代数学与几何学等。如已知某函数的微分，用积分法可求出原函数。 【查看详细解释】

一种逻辑。不限名词和命题，将其关系用数学符号表达，而以数学运算的方式，据以推断论证命题的结果，有执简繁的功效。 【查看详细解释】

为具有线性映像运算的代数系所属数学部门的称谓。研究对象包括向量、矩阵、行列式以及一次或二次形等，在微积分、数学规划和管理等应用科学领域中都少不了它。 【查看详细解释】

用坐标系和代数方法来研究几何图形与曲线的数学。解析几何中，以坐标表示点，以坐标间关系来研究几何图形的性质。多广泛运用于高等数学、物理学、力学、工程技术及科学研究中。或称为『坐标几何学』。 【查看详细解释】

人名。（公元前287～前212）希腊数学家及物理学家。在数学上首先测定圆周率的值及圆的面积。在物理学上发现杠杆、浮力诸定律。其他有关工程学、机械学、静力学方面，亦多有发明。 【查看详细解释】

数学算题算好后，再检查演算结果是否正确。如：『数学老师交代题目写完后，一定要再验算一次。』 【查看详细解释】

1.物质存在的一种客观形式，由长度、宽度、高度表现出来。2.泛称天地之间。如：『宇宙空间』。3.数学上指凡质点可存在的处所，称为『空间』。依质点位置的不同而有一维空间、二维空间、三维空间的区别。数学中凡涉及几何之集合，常以空间一词称之，故涉及位相者有位相空间，涉及测度有测度空间等等。 【查看详细解释】

1.一种化学反应。使化合物回复为原质或原物的作用。指在一个化学反应中，可使原子获得电子的现象，而在任何一个化学反应系中，有一物被氧化，同时应有另一物被还原。2.在数学式演算完后，再按原运算顺序作一次逆运算，则可回复原数学式，称为『还原』。由还原可以验证运算的正确与否。3.恢复事物原来的样子或位置。如：『取用图书，敬请还原。』 【查看详细解释】

利用数学方法，来处理语言学各部门问题的学科。如用统计的方法计算词的常用频率、计算某一语音要素的出现频率、计算词的某种意义的常用频率，甚至于应用统计学中的概率论方法研究语言中某一要素的出现概率性。其内容包含应用统计法研究语言现象的语言统计学、机器翻译中制定数学语言和媒介语的研究、情报语言中制定代码系统的研究、数理的语言模型研究。 【查看详细解释】

人名。（公元1872～1970）英国著名哲学家、数学家。其首要建树在数学及逻辑领域。公元一八九○年入剑桥三一学院。欧战时，因反战而入狱。一九二○年到中国讲学，是一位经验主义、实证主义和物理实在主义者。着有数理哲学大纲、哲学中的科学方法、政治理想、心的分析等四十余部。和英国怀德海（公元1861～1947）合着的数理原理（PrincipiaMathematica，1910～1913)，成为逻辑史的第二个里程碑。一九五○年获诺贝尔文学奖。 【查看详细解释】

1.天界。指神仙居住的地方。唐˙张九龄˙祠紫盖山经玉泉山寺诗：『上界投佛影，中天扬梵音。』西游记˙第五十一回：『又不知是那里降下来魔头，且须上界去查勘查勘。』2.数学上指有一数不小于一数列的任意数时，此数称为此数列的上界。亦指此数列有上 界或囿于上。3.数学上指有一数不小于一函数的任意函数值时，则此数称为此函数的上界。亦指此函数有上界或囿于上。[反]1.下界 【查看详细解释】