离散数学是现代数学的一个重要分支和计算机科学基础理论的核心课程，它充分描述了计算机科学离散性的特点，是随着计算机科学的发展而逐步建立起来的新型基础性学科。本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。

本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。

本书既可作为计算机科学及计算数学等专业的本科生和研究生教材，也可作为工程技术人员和相关人员的参考书。

第1章 逻辑与证明

1.1 命题

1.2 条件命题与逻辑等价

1.3 量词

1.4 嵌套的量词

1.5 证明

1.6 归结证明

1.7 数学归纳法

1.8 强数学归纳法和良序性

注释

本章复习

本章自测题

上机练习

第2章 数学语言

2.1 集合

2.2 函数

2.3 序列和串

注释

本章复习

本章自测题

上机练习

第3章 关系

3.1 关系

3.2 等价关系

3.3 关系矩阵

3.4 关系数据库

注释

本章复习

本章自测题

上机练习

第4章 算法

4.1 简介

4.2 算法举例

4.3 算法的分析

4.4 递归算法

注释

本章复习

本章自测题

上机练习

第5章 数论简介

5.1 因子

5.2 整数的表示和整数算法

5.3 欧几里得算法

5.4 RsA公钥密码系统

注释

本章复习

本章自测题

上机练习

第6章 计数方法与鸽巢原理

6.1 基本原理

6.2 排列与组合

6.3 排列组合生成算法

6.4 离散概率简介

6.5 离散概率论

6.6 广义的排列和组合

6.7 二项式系数和组合恒等式

6.8 鸽巢原理

注释

本章复习

本章自测题

上机练习

第7章 递归关系

7.1 简介

7.2 求解递归关系

7.3 在算法分析中的应用

注释

本章复习

本章自测题

上机练习

第8章 图论

8.1 简介

…………