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

本教材是根据ACM和IEEE/CS最新推出的Computing Curricula 2004，以及教育部高等教育司组织评审通过的《中国计算机科学与技术学科教程2002》中制定的关于“离散数学”的知识结构和体系撰写的．全书共14章，主要包含证明技巧、数理逻辑、集合与关系、函数、图和树、组合计数、初等数论、离散概率和代数系统等内容．本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学．另外，本书有配套习题解答与学习指导等辅导用书，以满足教学需要。 本书适合作为计算机和相关专业本科生“离散数学”的教学用书，也可以作为对离散数学感兴趣的人的参考书．

本书内容包括三部分：集合论、图论、近世代数。全书共分十五章，讨论了集合及其运算、映射、关系、无穷集合及其基数、模糊集合论、图的基本概念、树和割集、连通度和匹配、平面图和图的着色、有向图、半群和幺半群、群、环和域、格、布尔代数。每节后配有难度不同的习题。

《离散数学(修订版)》由五篇构成。第一篇数理逻辑，内容包括：命题逻辑，谓词逻辑，公理系统，归结法原理。第二篇集合论，内容包括：集合的基本概念及其运算，关系，函数，自然数和基数。第三篇图论，内容包括：基本概念，通路问题，图的矩阵表示，树，穿程问题，二分图的匹配问题，平面图及色数。第四篇代数系统，内容包括：基本概念，半群和群，环和域，格和布尔代数，抽象数据类型的代数规范。第五篇有限自动机理论，内容包括：基本概念，有限自动机的简化，有限自动机和正则表达式，有限自动机的综合与应用。 《离散数学(修订版)》内容系统、全面，概念清晰，叙述严谨精炼，推理详尽严格，语言简明易懂，各部分独立成篇，并有大量例题和习题，便于读者理解和掌握相关知识。《离散数学(修订版)》可作为高等院校本科计算机专业离散数学课程的教材，也可供计算机科学与工程技术人员学习参考。

"Discrete Mathematics and its Applications, Seventh Edition", is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer science, mathematics, and engineering. This renowned best-selling text, which has been used at over 500 institutions around the world, gives a focused introduction to the primary themes in a discrete mathematics course and demonstrates the relevance and practicality of discrete mathematics to a wide a wide variety of real-world applications!from computer science to data networking, to psychology, to chemistry, to engineering, to linguistics, to biology, to business, and to many other important fields.

离散数学及其应用：英文本，ISBN：9787040162301，作者：（ ）Susanna S.Epp著