目录
第一章 集合论基础
§1 集合的概念
§2 集合的运算
§3 笛卡儿乘积、幂集
§4 关系
§5 关系的运算与性质
§6 关系的闭包
§7 等价关系与相容关系
§8 次序关系
§9 映射
§10 集合的基数
第一章 习题
第二章 组合数学初步
§1 两个基本计数原理
§2 排列与组合
§3 排列与组合的生成
§4 重集的排列和组合
§5 组合数与组合恒等式
§6 抽屉原理
§7 容斥原理
§8 生成函数
§9 递归关系及其应用
第二章 习题
第三章 代数系统
§1 代数系统基本概念
§2 代数系统的比较――同构与同态
§3 半群与么半群
§4 群
§5 环与域
§6 格与布尔代数
第三章 习题
第四章 数理逻辑
§1 命题与命题公式
§2 命题逻辑等值演算
§3 命题逻辑推理
§4 谓词与谓词演算公式
§5 谓词演算基本等式与范式
§6 谓词逻辑推理理论
§7 命题逻辑与谓词逻辑公理化理论
§8 数理逻辑在计算机科学中的应用
第四章 习题
第五章 图论
§1 图的基本概念
§2 路、圈与连通性
§3 图的顶点次数
§4 图的矩阵表示
§5 树
§6 有向树
§7 欧拉图与哈密顿图
§8 平面图
第五章 习题
后记
· · · · · · (收起)