◼ 分治算法的原理 ◼ 大整数乘法 ◼ 矩阵乘法 ◼ 求第k小元素问题 ◼ 寻找最近点对 ◼ 快速傅立叶变换 ◼ 寻找凸包

• 实验教学与高素质创新人才培养 • 开放创新实验教学体系设计思想与原则 • 开放创新实验教学体系建设要素 • 实验教学开放管理与模式创新案例

图的基本概念 欧拉图与哈密顿图 树 平面图 支配集、覆盖集、独立集、匹配与着色 第一节 图 第二节 通路、回路、图的连通性 第三节 图的矩阵表示和运算

等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法

10.1 Introduction 10.2 const (Constant) Objects and const Member Functions 10.3 Composition: Objects as Members of Classes 10.4 friend Functions and friend Classes 10.5 Using the this Pointer 10.6 Dynamic Memory Management with Operators new and delete 10.7 static Class Members 10.8 Data Abstraction and Information Hiding

⚫ 有序对与笛卡儿积 ⚫ 二元关系的定义与表示法 ⚫ 关系的运算 ⚫ 关系的性质 ⚫ 关系的闭包 ⚫ 等价关系与划分 ⚫ 偏序关系

11.1 Introduction 11.2 Fundamentals & Restrictions 11.3 Operator Functions as Class Members vs. Global Functions 11.4 Overloading Stream Insertion and Stream Extraction Operators 11.5 Overloading Unary Operators 11.6 Overloading Binary Operators 11.7 Case Study: Array Class 11.8 Converting between types 11.9 Case Study: String Class 11.10 Standard Library Class string(self study) 11.11 Overloading ++ and ––(self study) 11.12 Case Study: A Date Class(self study)

◼ 树的基本概念 ◼ 二叉树 ◼ 二叉树的存储表示 ◼ 二叉树的遍历及其应用 ◼ 二叉树遍历的非递归算法 ◼ 二叉树的计数 ◼ 树与二叉树的转换 ◼ 堆 ◼ Huffman树及其应用

本章主要内容： 什么是决策，决策在管理中的地位，决策的基本步骤，个体决策与群体决策，决策目标，决策准则，决策的类型。 决策的基本方法，包括确定型决策方法，风险型决策方法，非确定型决策方法； 21决策的含义与过程 22决策的要素与类型 23决策理论的分类 24决策的基本方法

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论