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

刘忠艳，副教授，博士。近年来，主持完成省及校级教研项目4项，市厅级科研项目2项并获得哈尔滨市科技进步三等奖，发表科研及教研论文20余篇，授权发明专利1项，实用新型专利4项，软件著作权2项，主编离散数学教材1部，完成校级优秀课1门，校级教学成果二等奖1项。主讲课程：离散数学、数据库原理、C/C++语言程序设计、html 网页设计、网站建设与开发等。

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