离散数学

本书由7章组成，内容主要包括：集合、函数、矩阵、关系、命题逻辑、谓词逻辑、代数系统、无向图、有向图、树以及附录等。在定义的描述、例题的选择、定理证明的组织、习题的安排等方面都作了精心的考虑，使读者既能够掌握严格的数学概念，又能够方便地找到这些概念在计算机领域的应用。书中的很多例题和习题具有启发性，可以提高读者分析问题和解决问题的能力，大量附注包含了一些需要深入思考的问题和有关科学家的介绍，富有趣味性。另外，附录中还提供了模拟试题及其参考答案，供读者学习后自我测试。