对函数的许多性态研究，最终也将由泰勒公式(Taylor 公式)给出理论依据。例 如局部极值问题，以及用于求极限的洛必达法则，都是以泰勒公式为理论依据而得 到某些有效的方法

• 网络优化是运筹学中的一个重要分支，所研究的问题涉及经济管理、交通运输、计算机科学与信息技术、通讯与网络技术等诸多领域。在现实生活中，诸如最短路问题、运输问题、指派问题、中国邮递员问题、旅行商问题等都是网络优化的问题。 • 由于多数网络优化问题是以网络上的流为研究对象，因此，在图论中一般只涉及网络流问题。 • 4.1 网络流与截集 • 4.2 最大流问题及其解法 • 4.3 最小费用流算法 • 4.4 Petri网

一、无穷限的广义积分的审敛法 二、无界函数的广义积分的审敛法 三、R-函数 四、小结

对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务

一、问题的提出 二、曲面的面积 三、平面薄片的重心 四、平面薄片的转动惯量 五、平面薄片对质点的引力 六、小结思考题

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

一、ym=f(x,y,,y-)型 二、y=f(y,y',y-)型 三、恰当导数方程 四、齐次方程 五、小结思考题

数学模型的建立与建模目的密切相关 几类常见建模目的: 1. 描述或解释现实世界的 各类现象(常采用机理分析的方法,探索研究对象的内在规律性)；

行列式的定义 用消元法解二元线性方程组 矩阵的概念及运算 可逆矩阵的概念 逆矩阵的性质 齐次线性方程组解的结构 方阵的特征值与特征向量

一、问题的提出 二、=f(x,y)特解求法 三、二阶齐次线性方程幂级数求法 四、小结思考题