| 一、授课学时安排 |
| |
（1）集合论与图论：2学时/次，共计24次，48学时；（上学期讲授） |
| |
（2）代数结构与组合数学：2学时/次，共计24次，48学时；（下学期讲授） |
| |
（3）数理逻辑：2学时/次，共计24次，48学时；（下学期讲授） |
| 二、教学计划大纲 （附：教学详细计划） |
| |
第一章 集合
|
| 第二章 二元关系
|
| |
第三章 函数
|
| 第四章 自然数
|
| |
第五章 基数
|
| 第六章 序数*（可以不讲) |
| |
第七章 图
|
| 第八章 欧拉图与哈密顿图 |
| |
第九章 树
|
| 第十章 图的矩阵表示 |
| |
第十一章 平面图
|
| 第十二章 图的着色 |
| |
第十三章 支配集、覆盖集、独立集与匹配
|
| 第十四章 带权图及其应用 |
| |
第十五章 代数系统
|
| 第十六章 半群与群 |
| |
第十七章 群
|
| 第十八章 环与域 |
| |
第十九章 格与布尔代数 |
|
第二十章 组合存在性定理 |
| |
第二十一章 基本的计数公式 |
|
第二十二章 组合计数方法 |
| |
第二十三章 组合计数定理 |
|
第二十六章 命题演算 |
| |
第二十七章 一阶谓词演算 |
|
第二十八章 消解原理*（可以不讲） |
|
