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

第五节关于向量的几点说明 一、向量的概念 二、向量的向量运算 三、向量的坐标运算 四、小结 五、练习

第6章代数方程与最优化问题的计算机求解 一、代数方程的求解 二、无约束最优化问题求解 三、有约束最优化问题的计算机求解 四、混合整数规划问题的计算机求解 五、线性矩阵不等式问题求解 六、多目标优化问题求解 七、动态规划及其在路径规划中的应用

第5章积分变换与复变函数问题的计算机求解 一、 Laplace变换及其反变换 二、 Fourier变换及其反变换 三、其他积分变换问题及求解 四、变换及其反变换 五、复变函数问题的计算机求解 六、差分方程迭代求解与复平面映射分形

第一节 多元函数的极限及连续性 一、多元函数 二、二元函数的极限与连续性 第二节 偏导数 一、 偏导数 二、 高阶偏导数 第三节 全微分 一、全微分的定义 二、全微分在近似计算中的应用 第四节 多元复合函数微分法及偏导数的几何应用 一、复合函数微分法 二、隐函数的微分法 第五节 多元函数的极值 一、多元函数的极值 二、二元函数的最大值与最小值 三、条件极值

4.3*拉普拉斯变换 一、拉氏变换及存在定理 1、拉氏变换:f(t)dt<∞难对f(t)要求苛刻

组合设计理论是现代组合论的一个非常重要的分支,本章介绍 这一分攴的概貌,而把详细的讨论留在本书的以后各章。在介绍概 貌时,着重三个方面:一、这个分支的实际背景,附带介绍历史的 两个著名组合学课题(§11.1);二组合设计的主要类型,即可分解 设计(§11,1),全设计和正交设计(1,2),平衡不完全区组没计 (511,2)对称设计循环设计,几何设计和 Hadamard没计(§11.4), 部分平衡不完全区组设计(51.5),t-设计和按对平衡组设计

第4章线性代数 问题的计算机求解 一、特殊矩阵的输入 二、矩阵基本分析 三、矩阵的基本变换与分解 四、矩阵方程的计算机求解 五、非线性运算与矩阵函数求值

一、作业的问题 作业中最大的问题就是,许多学生并没有将方程的增广矩阵,经过一系列行初等变换后,变化成行简化阶梯矩阵, 将任何一个矩阵经过一系列行初等变换,变化成行简化阶梯矩阵,是线性代数的基本技术,一定要掌握

第四节多个量的总体贡献 一、表示多个量的组合 二、点函数及其定义域 三、二元函数的图象 四、小结 五、练习