小结 思考题 微元法 具体实例用微元法表示 成定积分

• 问题背景 • 细分基本思想 • 细分的关键因素 • 曲线细分算法分类 • 几种简单曲线细分算法 • 曲线细分Demo • 曲线细分的收敛性和光滑性分析

函数的定义与性质 函数定义 函数性质 函数运算 函数的复合 反函数 双射函数

3.1 微分方程建模 3.1.1 人的体重 3.1.2 常微分方程建模基本准则 3.2 草地水量模型 3.3 传染病模型 3.4 食饵-捕食者模型

5.1 一般方法 5.2 多段图问题 5.3 每对结点之间的最短路径

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

本章讨论的是用数学建模的方法来处理优化问题：即建立和求解所谓的优化模型。注意的是建模时要作适当的简化，可能使得结果不一定完全可行或达到实际上的最优，但是它基于客观规律和数据，又不需要多大的费用。如果在建模的基础上再辅之以适当的检验，就可以期望得到实际问题的一个比较圆满的回答。本章介绍较为简单的优化模型，归结为微积分中的极值问题，因而可以直接使用微积分中的方法加以求解

§6.1 正规矩阵 §6.2 Hermite矩阵 §6.3 Hermite正定矩阵 §6.4 不可约矩阵和对角占优矩阵 §6.5 投影矩阵

第一节 图 第二节 通路、回路、图的连通性 第三节 图的矩阵表示和运算

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题