离散数学(第二版)

离散数学是现代数学的重要分支，是计算机相关学科的基础理论课之一，它能为计算机相关专业后续课程（如数字逻辑、程序设计、编译原理、数据库系统、人工智能等）的学习奠定基础。因此，离散数学是计算机科学与技术、网络工程及信息管理等专业本科生的必修专业基础课之一。

 通过离散数学课程的学习，学生能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识，并运用其理论、思想和方法来学习和研究计算机各学科，为深入学习计算机科学打下坚实的基础。离散数学的先行课是数学的一些基础学科，如高等数学和线性代数等。同时，离散数学是学习计算机科学中某些学科的先行课程，即它是学习数字逻辑、程序设计、数据结构、编译方法、形式语言等课程的基础。

 本书内容除第1章绪论外分为数理逻辑（第2章，第3章）、集合论（第4章，第5章）和图论（第6章）三部分。由于离散数学具有知识不连续的特点，因此在教学时可以选择性地安排教学顺序。本书由邹丽娜、董丽薇任主编，由姜龙滨、丁茜任副主编。由于编者水平有限，经验不够丰富，书中难免存在不足及疏漏之处，敬请广大读者批评指正。

 编者

2022年10月

 离散数学是现代数学的重要分支，是计算机相关学科的基础理论课之一，学生通过学习能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识。本书分为数理逻辑、集合论和图论三部分。其中数理逻辑部分包括命题逻辑、谓词逻辑两章，集合论部分包括集合论和二元关系两章。本书适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。

 邹丽娜，沈阳师范大学副教授，从事计算机专业教学工作，在离散数学教学方面积累了丰富的教学实践经验，曾被授予“教育bu在线教育研究中心智慧教学之星”荣誉称号，指导学生参加国家级、省级计算机设计大赛并取得优异成绩，主持和参与了多项省级教改项目，参与辽宁省精品资源共享课建设项目，出版著作7部。 董丽薇，沈阳师范大学讲师，2007年参加工作以来一直在沈阳师范大学第一线从事本科教学工作，具有丰富的教学经验，讲授“离散数学"课程10余年，累积了丰富的教学实践，在本学科领域发表学术论文20余篇。

 本书通俗易懂、概念清楚、讲解翔实，适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。