一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

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

1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理

1.集合的概念 2.集合之间的关系 3.集合的运算 4.文氏图、容斥原理

图 通路与回路 图的连通性 图的矩阵表示 预备知识 多重集合——元素可以重复出现的集合 无序集——AB={(x,y) | xAyB}

1.周游世界,哈密顿通(回)路,哈密顿图 2.判定哈密顿图的必要条件 3.判定哈密顿图的充分条件 4.边不重的哈密顿回路 5.货郎问题,计算复杂性

一、关系运算性质(续) 二、关系矩阵,关系图 三、自反,反自反,对称,反对称,传递