本书是高等工科院校电子、信息类教材，主要分成两大部分：前半部分主要讲述了数理逻辑的基本理论及基本方法，包括命题演算基础及其推理理论、谓词演算基础及其推理理论和递归函数论等内容；后半部分主要讲述了离散数学的基本理论及其基本方法，包括集合、关系、函数与集合的势、图、树与有序树、群与环和格与布尔代数等内容。

本书介绍计算机专业最需要的离散数学基础知识，共分八章，包括集合、二元关系、函数、代数结构简介、命题逻辑、谓词演算、格和布尔代数、图论等基本内容。叙述深入浅出，书中列举了较多的例题，每节后面都附有一定数量习题，每章后都有小结便于总结提高。本书是中等专业学校统编教材，也可供有关人员自学参考。

第一章 集合

第二章 二元关系

第三章 函数

第四章 代数结构简介

第五章 格和布尔代数

第六章 命题逻辑

第七章 谓词演算

第八章 图论初步

第九章 图

第十章 树与有序数

第十一章 群和环

第十二章 格与布尔代数

参考文献