《离散数学(第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著

离散数学是现代数学的一个重要分支和计算机科学基础理论的核心课程，它充分描述了计算机科学离散性的特点，是随着计算机科学的发展而逐步建立起来的新型基础性学科。本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。 　　本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。 　　本书既可作为计算机科学及计算数学等专业的本科生和研究生教材，也可作为工程技术人员和相关人员的参考书。

《计算机科学丛书：离散数学及其应用（原书第7版）》是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，被美国众多名校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。作者参考使用教师和学生的反馈，并结合自身对教育的洞察，对第7版做了大量的改进，使其成为更有效的教学工具。《计算机科学丛书：离散数学及其应用（原书第7版）》可作为1至2个学期的离散数学课入门教材，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。

本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识，并把理论知识与一系列实际应用联系起来。主要内容包括：命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法，可以加深学生对离散数学的理解。 　　本书适合所有学习离散数学的学生，并可作为相关专业的教材。

《离散数学教程》共分五编。第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为组合灵敏学，其中包括组合存在性、组合计数、级合设计与编码以及组合最优化。第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。

《离散数学及其应用》一书是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就被600多所高校用作教材，并获得了极大的成功。第6版在前5版的基础上做了大量的改进，使其成为更有效的教学工具。 本书基于该书第6版进行改编，保留了国内离散数学课程涉及的基本内容，更加适合作为国内高校计算机及相关专业本科生的离散数学课程教材。本书的具体改编情况如下： · 补充了关于范式和标准型的基础内容。 · 删去了在其他课程中讲授的内容，如数论、离散概率、归纳和递归等。 · 对于保留章节，删去了编号为偶数的练习题。 · 删去了相关的历史资料。

本书系统地介绍了与程序设计竞赛有关的组合数学的基本理论和算法设计与分析的常用方法。全书共分8章，分别为：算法基础、组合数学初探、排列与组合、容斥原理、母函数、拟阵、贪心算法和Pólya定理。本书突出组合数学算法的设计与优化，从而更便于参加程序设计竞赛的读者学习组合数学。 本书可作为ACM/ICPC国际大学生程序设计竞赛和国际信息学奥林匹在竞赛（IOI）的培训教材，也可供从事组合数学与算法研究的人员参考。

《离散数学》起源于高等教育出版社1998年出版的《离散数学》，是教育部高等学校“九五”规划教材，2004年作为“十五”规划教材出版了修订版。作为 “十一五”规划教材，根据教育部计算机科学与技术专业教学指导委员会提出的《计算机科学与技术专业规范》（CCC2005）的教学要求，本教材对内容进行了较多的调整与更新。 《离散数学》分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论等六个部分。全书既有严谨的、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化组织，可以适应不同的教学要求。与《离散数学》配套的电子教案和习题辅导用书随后将陆续推出。 《离散数学》可以作为普通高等学校计算机科学与技术专业不同方向的本科生的离散数学教材，也可以供其他专业学生和科技人员阅读参考。

本书是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就被600多所高校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。. 本书可作为1至2个学期的离散数学课入门教材，适用于数学，计算机科学。计算机工程．信息技术等专业的学生。 第6版的特点 •易入门：实践证明本书对初学者来说易读易懂。 •灵活：本教材为灵活使用做了精心设计，各章对其前面内容的依赖降到最小。 •写作风格：直接和实用。 •数学严密性和准确性：书中所有定义和定理的陈述都十分详细，以确保语言的准确性和数学所需的严密性。 •实例：书中有750多个实例，用于阐明概念，联系不同内容，并引入各种应用。 •应用：书中叙述的应用展示了离散数学在解决现实问题中的使用价值，涉及的应用领域包括计算机科学。数据网络、心理学，化学，工程。语言学、生物学、商业和互联网等。.. •算法：离散数学的结论常常要用算法来表示，因此本书每一章都介绍了一些关键算法。这些算法既可以用文字叙述，也可以用更易于理解的结构化伪码来叙述。附录a．3对伪码作了描述和规范。本书对所有算法的计算复杂性也都给出了初步的分析。 •历史资料：本书对许多主题的背景作了简要介绍，并以脚注的形式给出了65位对离散数学做出过重要贡献的数学家和计算机科学家的简短传记。 •关键术语和结论：每一章后面都列出了本章的关键术语和结论。 •丰富的练习、复习题和补充练习：新版增加了400多道练习，使全书的总练习数达到3800多道。本书不仅提供了足够多的简单习题用于练习基本技巧，还提供了大量的中等难度的练习和许多有挑战性的练习，以满足不同层次学生的学习需求。同时，每章最后都有一组复习题和一组丰富多样的补充练习。 •计算机课题：每一章后面还有一组计算机课题，大约有150个这样的题目，把学生已经学到的计算和离散数学的内容结合在一起。 •计算和研究：每一章的结论部分都有一组计算和研究性问题，为学生提供了通过计算发现新事实或新思想的机会。 •写作题目：每一章后面都有一组应该书面完成的题目。要完成这类题目，学生需要查阅参考文献，把数学概念和书面写作的过程结合在一起，以帮助学生研究和思考正文中没有深入探讨的思想，便于其未来的学习和研究。

离散数学及其应用：原书第4版，ISBN：9787111075776，作者：（美）Kenneth H.Rosen著；袁崇义[等]译

《应用组合数学(第5版)》讲解了离散数学问题求解中组合推理和组合建模的方法、思维和运用。主要涉及图论基本概念、覆盖和图着色、搜索算法和网络运算算法等图论知识和方法，以及基本的计数方法、生成函数计数模型、递推关系模型、容斥原理、Polya枚举公式等枚举方法及其应用。作者还介绍了如何用计算机科学地处理枚举，以及逐步受限游戏的理论及其在尼姆游戏中的应用，体现了组合数学的趣味性。 《应用组合数学(第5版)》内容丰富，简明易懂，适合作为高等院校数学专业和计算机专业高年级本科生及研究生的教材，也可供对组合数学有兴趣的相关人员阅读。

《离散数学》是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。

本书是一本优秀的离散数学入门教材，主要内容包括集合、关系、函数、编码理论、图、树、匹配、网络流、计数技术、递推关系与生成函数、组合电路和有限状态机等。 　　本书充分考虑到了初学者的需要，叙述浅显易懂，内容、例题、习题都作了精心的挑选和组织，讲解细致，循序渐进。 　　本书可作为高等院校计算机专业或其他相关专业的离散数学教材或教学参考书，也可作为自学者的参考书。

本书第4版是全球500多所大学的指之一教材，获得了极大的成功。中文版也已被国内大学广泛有用为教材。第5版在前四版的基础上做了大量的改进，使其成为更有效的教学工具。 　　本书可作为1至2个学期的离散数学课入门教材，适用于数学、计算机科学、工程等专业的学生。

《离散数学及其应用(英文版)(第6版)》是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就被600多所高校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。《离散数学及其应用(英文版)(第6版)》可作为1至2个学期的离散数学课入门教材。