一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

第一章 命题逻辑

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

 内容1：生成树及其构造方法  内容2：最小生成树算法

 内容1：表达式的（逆）波兰记法  内容2：二叉搜索树  内容3：前缀码与Huffman编码

 内容1：树的定义及其性质  内容2：根树以及有序根树的遍历

 问题1：什么是二部图及其匹配？  问题2：二部图中的有哪些匹配？

 内容1：Dijkstra算法  内容2：Floyd-Warshall算法  内容3：旅行商问题（TSP）  内容4：最大流问题*