离散数学（第二版）

第一篇集合论与数理逻辑
第1章集合
§1.1集合的概念及其表示
§1.2集合的基本运算
§1.3笛卡儿积6习题
第2章关系
§2.1关系及其表示
§2.2关系的运算
§2.3等价关系
§2.4序关系15习题
第3章映射
§3.1基本概念
§3.2映射的运算20习题
第4章可数集与不可数集
§4.1等势
§4.2集合的基数
§4.3可数集与不可数集的概念24习题
第5章命题逻辑
§5.1命题与逻辑联结词
§5.2命题公式与等值演算
§5.3对偶与范式
§5.4推理理论
§5.5命题演算的公理系统42习题
第6章一阶逻辑
§6.1谓词与量词
§6.2合式公式及解释
§6.3等值式与范式
§6.4一阶逻辑的推理理论56习题

第二篇图论与组合数学
第7章图与子图
§7.1图的概念
§7.2图的同构
§7.3顶点的度
§7.4子图及图的运算
§7.5通路与连通图
§7.6图的矩阵表示
§7.7应用（*短通路问题）73习题
第8章树
§8.1树的定义
§8.2生成树
§8.3应用 （**树问题）84习题
第9章图的连通性
§9.1点连通度和边连通度
§9.2块
§9.3应用 （构造可靠的通信网络）91习题
第10章E图与H图
§10.1七桥问题与E图
§10.2周游世界问题与H图
§10.3应用 （旅行推销员问题）99习题
第11章匹配与点独立集
§11.1匹配
§11.2独立集和覆盖
§11.3Ramsey数
§11.4应用 （人员分配问题）112习题
第12章图的着色
§12.1顶点着色
§12.2边着色
§12.3色多项式
§12.4应用123习题
第13章平面图
§13.1平面图的概念
§13.2欧拉公式
§13.3可平面性判定
§13.4平面图的面着色
§13.5应用（印制电路板的设计）131习题
第14章有向图
§14.1有向图的概念
§14.2有向通路与有向回路
§14.3有向树
§14.4应用139习题
第15章网络**流
§15.1网络的流与割
§15.2**流*小割定理
§15.3应用（中国邮递员问题）147习题
第16章排列和组合的一般计数方法
§16.1两个基本的计数法则
§16.2基本排列组合的计数方法
§16.3可重复排列组合的计数方法151习题
第17章容斥原理
§17.1容斥原理概述
§17.2有禁止位的排列155习题
第18章递推关系与生成函数
§18.1递推关系及其解法
§18.2生成函数161习题

第三篇代数结构与初等数论
第19章整数
§19.1整除性
§19.2素因数分解
§19.3同余
§19.4孙子定理?Euler函数
§19.5数论在计算机密码学中的应用179习题
第20章群
§20.1群的概念
§20.2子群
*§20.3置换群
§20.4陪集与Lagrange定理
§20.5同态与同构
§20.6群在计算机科学与技术中的应用201习题
第21章环与域
§21.1环与子环
§21.2环同态
§21.3域的特征?质域
*§21.4有限域
§21.5有限域的结构
§21.6纠错码
§21.7多项式编码方法及其实现230习题
第22章格与布尔代数
§22.1格的定义
§22.2格的性质
§22.3几种特殊的格
§22.4布尔代数
§22.5有限布尔代数的结构
§22.6格与布尔代数在计算机科学与技术中的应用253习题

第四篇形式语言与自动机理论基础
第23章形式语言
§23.1符号、符号串及其运算
§23.2文法与语言的形式定义
§23.3正规表达式
§23.4正规文法与正规式276习题
第24章有限自动机理论
§24.1有限自动机的定义与构造
§24.2确定的有限自动机（DFA）
§24.3不确定的有限自动机（NFA）
§24.4NFA的确定化
§24.5DFA的*小化
§24.6正规集与有限自动机的等价性290习题

参考文献