第一章 集合论

    1.集合的概念和表示方法

    2.集合间关系

    3.集合的运算及其定律

    4.可数集合和不可数集合

第二章 命题逻辑

     1. 命题和命题联结词

     2. 复合命题的符号化

     3. 命题公式的定义及其分类

     4. 命题公式的基本等价关系

     5. 范式和主范式

     6. 命题公式的基本蕴涵关系

     7. 演绎法推理

第三章 谓词逻辑

    1. 个体词和谓词，量词

    2. 复合命题的符号化

    3. 谓词的合式公式及其分类

    4. 谓词公式的等价和蕴涵关系

    5. 范式

    6. 演绎法推理

第四章  二元关系

     1. 关系的定义和表示

     2. 关系的运算

     3. 关系的性质

     4. 闭包

第五章  特殊关系

      1. 等价关系

      2.  偏序关系

第六章  函数

       1. 函数的定义和类型

       2. 函数的运算及性质

第七章   图

       1. 图的定义、表示和分类

       2. 图的基本性质定理

       3. 图的同构

       4. 图的通路和连通性

第八章  树

      1. 无向树，含最小生成树

      2. 根树性质及其遍历

      3. 最优树和哈夫曼算法

第九章 特殊图

      1. 欧拉图的定义及判定

      2. 哈密顿图的定义及判定

      3. 偶图的定义及判定

      3. 平面图的定义及判定