§5.1 数值积分公式 §5.2 牛顿-科特斯公式 §5.3 复化求积公式 §5.4 龙贝格求积公式 §5.5 高斯型求积公式 §5.6 数值微分 §5.7 数值实验

工程实际中，存在大量的解线性方程组的问题。很多数值方法到最后也会涉及到线性方程组的求解问题：如样条插值的M和m关系式，曲线拟合的法方程组，方程组的Newton迭代等问题。 4.1 高斯消去法 4.2 选主元素的高斯消去法 4.3 矩阵的三角分解法 4.4 平方根法与改进平方根法 4.5 向量和矩阵的范数 4.6 线性方程组的性态和解的误差分析 4.7 解线性方程组的迭代法 4.8 迭代法的收敛性及误差估计

引言 §2.1 多项式插值 §2.2 拉格朗日多项式插值 §2.3 牛顿插值 §2.5 分段低次插值 §2.4 埃尔米特插值 §2.6 样条插值

层次分析法（AHP）是美国运筹学家匹茨堡大学教授萨蒂(T.L.Saaty)于上世纪70年代初，为美国国防部研究“根据各个工业部门对国家福利的贡献大小而进行电力分配”课题时，应用网络系统理论和多目标综合评价方法，提出的一种层次权重决策分析方法。 引言 层次分析法原理 层次分析法模型举例

讲授数学分析发展历史上一个重要的反例:处处连续处处不可导的函数,以及这 反例对数学学科发展的影响;介绍德国数学家 Weierstrass的生平与对数学分析 所作的贡献 指导思想 通过讲授处处连续处处不可导的函数的例子与介绍德国数学家 Weierstrass的贡 献,使学生掌握函数项级数一致收敛理论的重要应用,认识到数学家如何通过从 提出猜想,到证明或否定猜想的过程,使数学学科得到发展的,从而使学生在今 后的学习中重视对反例的探讨

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

（1）上述二项目基本情况介绍，结合申请书 （2）教学路径：“微积分的一流化进程” （3）教学研究：“基于现代张量分析及微分几何的连续介质力学理论及其应用” （4）澄清知识体系的基本思想及方法：知识点、知识要素、数学通识

在CNC数控机床上，各种轮廓加工都是通过插补计算实现 的，插补的任务就是对轮廓线的起点到终点之间，再密集的计 算出有限个坐标点，刀具沿着这些坐标点移动，来逼近理论轮 廓

• 研究背景（边界几何特性对力学行为的影响） • 当前物理构形对应之曲线坐标系显含时间的有限变形理论（连续介质作为Euclid微分流形） • 边界的有限变动运动对边界上若干运动学及动力学机制的影响 • 若干研究事例

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论