离散数学(第4版)

离散数学是现代数学的一个重要分支和计算机科学基础理论的核心课程，它充分描述了计算机科学离散性的特点，是随着计算机科学的发展而逐步建立起来的新兴的基础性学科。 本书作为离散数学的基本教材，把握关键问题并以全新的编排方式通过精选的大量实例深入浅出地介绍了数理逻辑、组合算法、图论、布尔代数、网络模型、形式语言与自动机理论等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，内容叙述严谨，推演详尽。各章节配有相当数量的习题与书后的提示

    本书目录简介：第一章逻辑和证明；第二章数学的语言；第三章算法；第四章记数方法和分类原理；第五章递推关系；第六章图论等等。