[拼音]：zhengminglun [外文]：proof theory 数理逻辑的一个分支，以数学证明为研究对象的数学理论。 逻辑学中关于证明的研究由来已久。亚里士多德《工具论》一
[拼音]：Zhongguo shuxue jiaoyu [外文]：mathematics eduction in China 中国的数学教育有悠久的历史，早在西周时期，数学已作为“六艺”之一，成为专门的学问
[拼音]：Burao er [外文]：Richard Dagobert Brauer (1901～1977) 美国数学家。1901年2月10日生于柏林，1977年4月17日逝世于波斯顿。1919年入柏林大学学习，在I
[拼音]：bushiding wenti shuzhi jiefa [外文]：numerical method for improperly posed problems 如果某个数学问题的解对定解数据的扰动极敏感，即不是连续地
[拼音]：Gede er buwanbeixing dingli [外文]：Gdel's incompleteness theorem 发表于1931年。它包括两个定理： 第一不完备性定理 设 S 是包含算术系统在内的
[拼音]：jida hanshu [外文]：maximum function 又称哈代-李特尔伍德极大函数，由已知函数经一定运算（取平均）后取极大值所定义的函数，是由英国数学家G.H.哈
[拼音]：dai Xu 中国清代数学家。字鄂士，号鹤墅，又号仲乙。钱塘（今杭州市）人。生于嘉庆十年，卒于咸丰十年。少年时代与同里谢家禾一起研洽数学，对天文学和
[拼音]：nigongxing yingshe [外文]：quasi-conformal mapping 又称拟保角映射，即在定义区域内把每一微小圆映成微小椭圆的映射，是共形映射的推广。如果所映成
[拼音]：fubian hanshu [外文]：complex function 复变数复值函数的简称。设 A 是一个复数集，如果对 A 中的任一复数 z ，通过一个确定的规则有一个或若干个复
[拼音]：changweifen fangcheng bianzhi wenti [外文]：boundary value problem of ordinary differential equation 求常微分方程满足给定边界条件的解的问题。
[拼音]：jialuowa [外文]：Evariste Galois (1811～1832) 法国数学家。1811年10月25日生于拉赖因堡，1832年5月31日卒于巴黎。他的父亲是一个自由主义思想家；母
[拼音]：quxian nihe [外文]：curve fitting 用连续曲线近似地刻画或比拟平面上离散点组所表示的坐标之间的函数关系。更广泛地说，空间或高维空间中的相应问题
[拼音]：weifen jihexue [外文]：differential geometry 数学的一个分支学科，它主要是以分析方法来研究空间（微分流形）的几何性质。 初始阶段 古典的局部微分
[拼音]：changweifen fangcheng jinsi jiexijie [外文]：approximate analytic solution of ordinary differential equation 常见的常微分方程中只有极少数的类
[拼音]：duomubiao guihua [外文]：multiple objectives programming 数学规划的一个分支，研究多于一个的目标函数在给定区域上被同等地最优化（极小化或极大化
[拼音]：Bonulishu [外文]：Bernoulli numbers 18世纪瑞士数学家雅各布第一·伯努利引入的一个数。设伯努利数为 B n ，其定义: 这里| t | B 0 =1， 一般地， n
[拼音]：Ating [外文]：Emil Artin (1898～1962) 奥地利数学家。1898年3月3日生于维也纳。在维也纳大学学习一学期后，被征入伍，直到1919年1月才在莱比锡大学继
[拼音]：chudeng changweifen fangcheng [外文]：elementary ordinary differential equation 能用微积分的方法求出其通解或通积分的常微分方程。常微分方程的
[拼音]：zhengchu [外文]：divisibility 数论中一个最基本的概念。任给二整数 与 b ，其中 b ≠0，如果有一个整数с使 = b с，就称 b 能整除 ，记作 b │ 。此
[拼音]：daoshu [外文]：derivative 一个变量随某个变量变化时的速度或变化率；例如路程对于时间的导数便是速度。 若变量 y 随变量 x 变化的函数关系记为 y = (
