本书包括数理逻辑、集合论、图论和组合与代数四部分内容。书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每章末都有对应本章知识点的习题，便于读者更深入理解和巩固所学的理论知识，讲授时建议64学时左右。 本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，还可以为从事计算机软件、硬件开发和应用的人员提供参考。

前言 本书在第1版的基础上融入了编者们多年的教学经验，改进了部分内容的叙述方式和部分例题的解决方法，尤其是第3章内容改变较大，增加了新的实际应用案例。同时，重新整理、修改了第1～6章习题，增加了参考答案，更加符合“离散数学”课程教学基本要求，并兼顾当今高等学校应用型人才的培养要求。 离散数学是现代数学的一个重要分支，也是计算机科学的理论基础，它以离散量为研究对象，研究各种各样的离散量的结构及其关系，这正与计算机所处理的对象相一致，因此成为计算机科学的基本工具。它的前导课程为“线性代数”，可以为后续课程，如“数据结构”“数据库”“信息科学”“算法设计”“人工智能”等课程提供必要的数学基础。 在本书的编写过程中，不但考虑了离散数学与前导课程的关系，也考虑了其与后续课程的关系，注重理论与实践的结合。把理论应用于实际，解决实际问题，这是本书的一大特色。对于每章的理论，都通过例题或习题应用于实际，解决了实际应用的问题。本书详细论述了相关概念及定理，对于大部分定理，都给出了证明推理。学生不仅要学会理解定理，更重要的是要学习数学思维，为今后的学习和研究打下坚实的数学基础。 本书由岭南师范学院刘忠艳和黑龙江科技大学付喜辉任主编，刘金芳、李懿、王光辉、刘辉任副主编。全书主要包括数理逻辑、集合论、图论和组合与代数四部分内容。第1、2章由李懿编写，第3、5、6章由刘忠艳编写，第4章由王光辉编写，第7～9章由付喜辉编写，第1～6章习题及答案由刘金芳编写，全书由刘辉主审。对岭南师范学院刘金芳及黑龙江科技大学付喜辉、王光辉、李懿、刘辉等老师表示感谢。同时，本书也得到了岭南师范学院计算机与智能教育学院和黑龙江科技大学计算机与信息工程学院领导、老师和同学们的大力支持与协助，在此一并表示感谢。 本书可作为计算机及相关专业的本科生教材，也可作为计算机相关资格水平考试的参考书，还可作为从事计算机软件、硬件开发和应用人员的指导书。 由于作者水平有限，书中不妥或疏漏之处在所难免，恳请读者批评指正，多提出宝贵意见，以便今后改正。 刘忠艳 2022年5月

版权图片链接