离散数学是计算机科学和数学领域的基础课程之一，关注离散的对象和结构，以及它们之间的关系和性质。本书共分为九章，内容涉及命题与命题公式、命题逻辑的推理理论、一阶逻辑、集合、关系和函数、代数系统基础、格与布尔代数、图、树及其应用。 

目录：
 
第一章 命题与命题公式
第一节 命题与命题联结词
第二节 命题公式的等值演算
第三节 联结词完备集
 
第二章 命题逻辑的推理理论
第一节 命题逻辑基本概念
第二节 范式
第三节 推理
 
第三章 一阶逻辑
第一节 一阶逻辑基本概念
第二节 一阶逻辑公式分类及解释
第三节 一阶逻辑等值式和前束范式
第四节 逻辑推理
 
第四章 集合
第一节 集合概念
第二节 集合间关系
第三节 集合运算
第四节 集合证明
第五节 集合的计算机表示方法
 
第五章 关系和函数
第一节 关系
第二节 函数
 
第六章 代数系统基础
第一节 代数系统概念
第二节 半群与独异点
第三节 群的基本定义与性质
第四节 子群与陪集
第五节 循环群和置换群
第六节 环和域
 
第七章 格与布尔代数
第一节 格
第二节 布尔代数
 
第八章 图
第一节 图的基本概念
第二节 图的连通性
第三节 图的矩阵表示
第四节 几种特殊的图
 
第九章 树及其应用
第一节 无向树
第二节 根树及其应用
 
参考答案
 
参考文献