[计算机]计算机科学.pdfVIP

Articles of 兮兮软软 计计算算机机,编编程程及及CG,ai中中的的科科学学基基础础导导读读 2011-09-21 11:09:31 minlearn TOC 1 数学的发展历程 1.1 古代数学 1.2 近代数学一(15,16世纪) 1.3 近代数学二(17世纪) 1.4 现代数学一(18世纪) 1.5 现代数学一(19) 1.6 现代数学二(20世纪) 2 我们学过的数学 2.1 数学 个分支发展 2.2 代数 2.3 几何 2.4 分析数学 3 小结 4 离散数学，组合数学，图论 5 语言中的类型理论Type thery 6 算法中的数学理论，复杂度， P完全，等 7 数据库科学上的关系代数与集合论 8 数学与其它学科或学科分支的关系 9 物理学发展历程 10 图形学的数学 11 图形学物理 12 Ai中的科学 数数学学的的发发展展历历程程 理想时代 （古希腊），复兴时代 （文艺复兴15,16），新生时代 （微积分17），英雄时代 （微积分没有基 础就导出了分析学主要的内容18），大成时代(归纳统一，更高抽象19,20) 古代数学 近代数学： 远古算术 （比如结绳记数），远古几何(古埃及土地测量) 古希腊数学： 欧氏几何,毕达拉斯勾股定理，等腰直角三角形的斜边长不可公度,阿波罗尼奥曲线理论， 阿基米德穷竭法解决物理问题 (一切问题用几何来解答为准为美) 阿拉伯和印度对于代数的贡献：拓展了数的概念为实数，低于五次方程的一般求根法，将古希腊几何过 继给中世纪的欧洲 。 近代数学一(15,16世纪) 伟达用符号表数，兴起了代数学用符号表数的风俗 。 (代数学的主要任务还是解高次方程，五次以上的解 法要等19世纪初期才有发展) 文艺复兴时期的欧洲: (为了打破神学关于天文学对天体运动的求解) 。 (此时的著作主要是手抄本，故学 术著作的流通不是十分广泛) 开普勒对天文学的研究，伽利略对天文学，运动的研究 笛卡尔用坐标解析 欧氏几何和阿波罗尼奥的曲线 。曲面 。同时关乎代数(解析几何和物理为代数元素) ，物理 （运动轨 迹），和几何 （欧氏空间元素和曲线的性质），为微积分的发展提供了契机 。 射影几何(那时仅是画法几何的一部分)对欧氏几何以来的综合几何的进一步发展 近代数学二(17世纪) 保罗 （牛顿老师），维拉斯(无穷小) ，对牛顿提出微积分的影响 。 牛顿主要是从几何上给出了对力学的解析 。它对微积分的贡献主要在于微分 。运用的是无穷级数的方 法 。 来布尼兹，主要是从代数上给出了对几何的解析 。其对微积分的贡献主要在于积分 。它还提出了行列 式，组合数学领域的东西 。 cardan提出了复数，，活尔斯已经分析并应用了复数，作出了复数的几何表 示 (建立了一系列皇家科学院，学术研究的气氛很热烈，但大学机构发挥的作用不大) 现代数学一(18世纪) 欧拉，达朗贝尔， （拉格朗日，拉普拉斯，勒让德）发展了微积分的理论基础 。从此分析数学独立于几 何，代数，不再是牛顿时代用几何完成的那一套分析 。用分析来解析分析，这导致了分析数学的其它分 支 （变元法，偏导数，多值函数） 。这导致了更多的新学科 。解决了更多的物理力学，光学和天体学问 题 。 契机：复数的对数，椭圆的积分 偏微分方程的解是否存在的证明 欧拉，达朗贝尔进一步应用了复数，然 对其信心不足 （由于分析法对物理天文学的贡献，人们产生悲观主义情绪，认为数学已发展到了极点） 现代数学一(19) 就像微积分统冶了18世纪的数学一样，函数论统冶了19世纪的数学(它也是由分析泛生的) 。可以看 出，19世纪的数学主要也是分析的更高发展 （函数论，以及对更复杂的积分方程，偏微分方程的研 究），及它与数学，几何融合产生的新学科(微分几何，代数几何) 。 18世纪主要是从深度和广度上拓展了分析,19世纪开始的时候关于微积分基础理论的完善工作还没有完成 （尤其是函数理论） 。因此急需对基础理论的加固 。因此，19世纪完成了这个工作之后，理应是函数论 等分析工作的进一步发展 。 柯西，维斯特拉斯 代数学的进一步发展仍然是高次方程的求解，这其中有高斯和阿备尔，伽罗华等的工作 。导致了