数学四个分支与数学机械化数学四个分支与数学机械化数学四大分支:分析学代数学几何学计算机数学老三基近代数学的三大基础课:数学分析——斐礼文:《数学分析中的典型问题与方法》,高等教育出版社高等代数解析几何新三基泛函分析抽象代数微分几何——陈省生(整体微分几何的奠基人)天衣岂无缝,匠心剪接成
浑然归一体,广邃妙绝伦
造化爱几何,四力纤维能
千古存心事,欧高黎嘉陈
数学机械化数学机械化的基本内容主要有两方面:一方面,将传统数学中可以算法化求解或求证的问题,利用计算机及数学软件完成或实现;另一方面,实现数学机械化首先要将问题转化为可算法化问题,然后按照MAP思想,即Model(模型)+Algorithm(算法)+Program(程序),确定正确的具有操作性的算法,再选择适当的平台软件设计相应的计算机程序,也就是:问题数学问题算法程序计算机实现数学建模:Matlab在数学建模中的应用Matlab神经网络30个案例分析MathematicaMathematica基础基础教材:教材:MathematicaMathematica在大在大学数学课程中的应用,丁大正学数学课程中的应用,丁大正编著编著数学软件数学软件公共基础软件:BASIC,FORTRAN,C等数学软件:为解决数学问题的专用系统应具备的一般功能:•数值计算•符号计算•绘制图形•编程功能著名的数学软件MathCAD,Matlab,Mathematica,MapleLINDO、SPSS、SAS、IDL……由美国Mathsoft公司开发早期的DOS下的1
0版本(1986)Windows下的4
0版本14
0版本(PTC)Win9X/NT下的7
0采用WYSWYG界面功能:集文本编辑、数学计算、程序编辑和仿真于一体11、、MathCADMathCAD常用的有MathCAD7