◼ 3.1 集合的基本概念 ◼ 3.2 集合的基本运算 ◼ 3.3 集合中元素的计数

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

问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

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

◼ 确定型有穷自动机(DFA) ◼ 非确定型有穷自动机(NFA) ◼ 带ε转移的NFA(ε-NFA) ◼ 用ε-NFA模拟右线性文法 ◼ 用右线性文法模拟DFA

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

◼ 9.1 无向树及生成树 ◼ 9.2 根树及其应用

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

8.1 二部图 8.2 欧拉图 8.3 哈密顿图

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