§1、运筹学的简史 §2、运筹学的性质和特点 §3、运筹学的工作步骤 §4、运筹学的模型 §5、运筹学的应用

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

6.1 n维空间的线性变换 6.2 方阵的特征值和特征向量 6.3 相似矩阵与矩阵的对角化 6.4 实对称矩阵的对角化 6.5 二次型及其标准形 6.6 奇异值分解简介 6.7 应用实例 6.8 习题

第一节 矩阵 一、 矩阵概念的引入 二、 矩阵的定义 三、 小节、思考题 第二节 矩阵的运算 一、矩阵的加法 二、数乘矩阵 三、矩阵与矩阵相乘 四、矩阵的转置运算 五、小结、思考题 第三节 逆矩阵 一、概念的引入 二、逆矩阵的概念和性质 三、逆矩阵的求法 四、小结、思考题 第四节 分块矩阵 一、矩阵的分块 二、分块矩阵的运算法则 三、小节、思考题 第五节 初等变换和初等矩阵 一、初等变换的引入− −方程组的同解变换 二、矩阵的初等变换 三、初等矩阵的概念 四、初等矩阵的应用 五、小结、思考题

第一节 二重积分的概念与性质 一、问题的提出 二、二重积分的概念 三、二重积分的性质 第二节 二重积分的计算法(1)利用直角坐标计算二重积分 第二节 二重积分的计算(2) 一、利用极坐标系计算二重积分 二、小结 第三节 二重积分的应用

§3.1 不定积分的概念 §3.2 不定积分的计算方法 §3.3 定积分概念及性质 §3.4 积分学基本公式 § 3.5 定积分的换元积分法与分部积分法 §3.7 定积分的应用

第一节 二重积分的概念与性质 一、引例 二、二重积分的定义 三、二重积分的性质 第二节 二重积分的计算法 一、利用直角坐标计算二重积分 二、利用极坐标计算二重积分 第三节 三重积分 一、三重积分的概念 二、三重积分的计算 第四节 重积分的应用 一、曲面的面积 二、质心 三、转动惯量

12.1 Simulink操作基础 12.2系统仿真模型 12.3系统的仿真 12.4使用命令操作对系统进行仿真 12.5子系统及其封装技术 12.6S函数的设计与应用

5.1 实验在线性代数中的重要性 5.2 解决问题的三种视点 5.3 直线和平面的快速绘制程序 5.4 随机整数矩阵的生成程序 5.5 特殊矩阵的生成程序 5.6 线性代数建模与应用概述

第一章 函数 函数 第二章极限 第二章 极限 第三章 连续函数 第四章 实数的连续性 第五章 重导数与微分 第六章 微分学基本定理及其应用