命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

层次分析(AHP)方法的一般介绍； 层次结构与比较矩阵构造方法； 权向量的确定方法； 比较矩阵的一致性检验方法； 案例分析：合理分配住房问题

兰州大学：《高等数学》课程PPT教学课件（讲稿）第一章 函数与极限 第一节 函数

同济大学：《数学建模》课程教学资源（PPT课件讲稿）微分方程模型（主讲：关晓飞）

符号计算系统 Mathematica 基本用法 基本运算 符号计算 图形功能 程序设计（略）

§6.1 点估计的几种方法 §6.2 点估计的评价标准 §6.3 最小方差无偏估计 §6.4 贝叶斯估计 §6.5 区间估计

第1节 单纯形法的矩阵描述 第2节 改进单纯形法 第3节 对偶问题的提出 第4节 线性规划的对偶理论 第5节 对偶问题的经济解释——影子价格 第6节 对偶单纯形法 第7节 灵敏度分析 第8节* 参数线性规划

无向树及其应用 生成树 根树及其应用

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

动态规划的基本问题； 动态规划的基本概念与条件； 动态规划的基本方程； 动态规划的求解方法； 动态规划的应用案例分析