本书系统地介绍了离散数学的基本内容。全书共分10章,主要由4部分组成: 数理逻辑,包括命题逻辑和一阶逻辑;集合论,包括集合的基本概念和运算及二元关系和函数;代数结构,包括代数系统的基本概念、几个典型的代数系统及格和布尔代数;图论基础,包括图的基本概念、树和几类典型图。各章备有例题选解和较多的习题,便于读者自学。
本书可作为计算机等相关专业的离散数学教材,可供一般本科院校教学使用,也可作为其他类院校离散数学课程的教材和教学参考书。

**篇 数理逻辑
**章 命题逻辑
1.1 概述
1.2 例题选解
1.3 习题与解答
第二章 一阶逻辑
2.1 概述
2.2 例题选解
2.3 习题与解答
补充题一
补充题一答案
第二篇 集合论
第三章 集合的基本概念和运算
3.1 概述
3.2 例题选解
3.3 习题与解答
第四章 二元关系和函数
4.1 概述
4.2 例题选解
4.3 习题与解答
补充题二
补充题二答案
第三篇 代数结构
第五章 代数系统的基本概念
5.1 概述
5.2 例题选解
5.3 习题与解答
第六章 几个典型的代数系统
6.1 概述
6.2 例题选解
6.3 习题与解答
第七章 格和布尔代数
7.1 概述
7.2 例题选解
7.3 习题与解答
补充题三
补充题三答案
第四篇 图论基础
第八章 图的基本概念
8.1 概述
8.2 例题选解
8.3 习题与解答
第九章 树
9.1 概述
9.2 例题选解
9.3 习题与解答
第十章 几种典型图
10.1 概述
10.2 例题选解
10.3 习题与解答
补充题四
补充题四答案
参考文献