7.2 通路、回路、图的连通性 ▪简单通(回)路, 初级通(回)路, 复杂通(回)路 ▪无向连通图, 连通分支 ▪弱连通图, 单向连通图, 强连通图 ▪点割集与割点 ▪边割集与割边(桥) 7.3 图的矩阵表示 ▪无向图的关联矩阵 ▪有向图的关联矩阵 ▪有向图的邻接矩阵 ▪有向图的可达矩阵

8.4 平面图 ▪ 平面图与平面嵌入 ▪ 平面图的面、有限面、无限面 ▪ 面的次数 ▪ 极大平面图 ▪ 极小非平面图 ▪ 欧拉公式 ▪ 平面图的对偶图

一、字符串和形式语言 二、形式文法 三、形式文法的分类

一、图灵机的基本模型 二、图灵机接受的语言——递归可枚举语言 三、用图灵机计算函数——部分可计算函数与可计算函数

◼ 10.1 加法法则和乘法法则 加法法则与乘法法则 应用实例 ◼ 10.2 基本排列组合的计数方法 排列组合问题的分类 集合的排列与组合 多重集的排列与组合

◼ 有序对 ◼ 笛卡儿积及其性质 ◼ 二元关系的定义 ◼ 二元关系的表示 基本运算定义 定义域、值域、域 逆、合成、限制、像 ◼ 基本运算的性质 ◼ 幂运算 定义 求法 性质

一、等价关系的定义与实例 二、等价类及其性质 三、商集与集合的划分 四、等价关系与划分的一一对应 五、偏序关系 六、偏序集与哈斯图 七、偏序集中的特定元素

◼ 二元运算定义及其实例 ◼ 一元运算定义及其实例 ◼ 运算的表示 ◼ 二元运算的性质  交换律、结合律、幂等律、消去律  分配律、吸收律 ◼ 二元运算的特异元素  单位元  零元  可逆元素及其逆元

◼ 半群与独异点  半群定义与性质  交换半群与独异点  半群与独异点的子代数和积代数  半群与独异点的同态 ◼ 群  群的定义与性质  子群与群的直积  循环群  置换群

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式