本书是根据高等学校计算机教育规划教材《离散数学》(第2版)编写的配套指导用书。全书分为10章，每章包括内容提要、例题精选和习题解答三个部分。内容提要叙述了本章的主要定义、定理和重要公式等内容；例题精选包括一些典型题目及其详细的分析解答；习题解答提供了上述主教材各章习题的答案。 本书既可以作为上述主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧训练方面提供有益的帮助。

作者简介： 贲可荣 海军工程大学电子工程学院教授、博士生导师。大学教学委员会委员、职称评审委员会委员、研究生教育专家组成员。评为教育部骨干教师、首届湖北省优秀研究生导师。获军队院校育才奖金奖、第三届大学教学名师。中国计算机学会计算机理论专业委员会委员、中国计算机学会软件工程专业委员会委员、中国造船工程学会电子技术学术委员会委员、湖北省计算机学会理事、武汉软件工程学会副理事长。《计算机科学与探索》、《计算机工程与科学》、《中国舰船研究》、中国计算机学会《技术动态》、《海军工程大学学报》编委，《高等学校计算机教育规划教材》编委。担任《海军新军事变革丛书》编委会常务副主任。担任大学首批建设的教学团队负责人。创建了大学军用软件测评中心，为海军装备软件建设发挥重要作用。主编教材《人工智能》获海军优秀教材一等奖，入选普通高等教育“十一五”和“十二五”国家级规划教材。主编教材《离散数学》《软件工程》获海军优秀教材二等奖。主讲课程离散数学、人工智能、软件工程，分别获海军优秀和海军重点立项建设。先后主持和参加了国家自然科学基金等20余个项目。发表论文120余篇。指导毕业46名硕士研究生，9名博士研究生。 袁景凌 教授，博士，武汉理工大学计算机科学与技术学院副院长。讲授课程主要离散数学（本科）、计算机专业英语（本科）、分布式并行处理（研究生）等。 高志华 讲师，博士，海军工程大学计算机系讲师。讲授课程主要离散数学（本科）、大学计算机基础（本科）、计算机语言与软件（本科）等。

第2版序 张恭庆院士在“数学的意义”一文中指出： 数学既是一种文化、一种“思想的体操”，更是现代理性文化的核心。数学的基本特征是高度的抽象性和严密的逻辑性，应用的广泛性与描述的精确性，以及研究对象的多样性与内部的统一性。 数学是一门“研究数量关系与空间形式”的学科。通常根据问题的来源把数学分为纯粹数学与应用数学。研究其自身提出的问题的是纯粹数学；研究来自现实世界中的数学问题的是应用数学。利用建立数学“模型”，使得数学研究的对象在“数”与“形”的基础之上又有扩充。各种“关系”，如“语言”、 “程序”、 “DNA排序”、“选举”、“动物行为” 等都能作为数学研究的对象。纯粹数学与应用数学的界限有时也并不那么明显。一方面由于纯粹数学中的许多对象，追根溯源是在解决外部问题时提出来的；另一方面，为了要研究从外部世界提出的数学问题，有时需要从更抽象、更纯粹的角度来考察才有可能解决。 数学作为现代理性文化的核心，提供了一种思维方式。这种思维方式包括： 抽象化、运用符号、建立模型、逻辑分析、推理、计算，不断地改进、推广，更深入地洞察内在的联系，在更大范围内进行概括，建立更为一般的统一理论等一整套严格的、行之有效的科学方法。按照这种思维方式，数学使得各门学科的理论知识更加系统化、逻辑化。 离散数学是数学里专门用来研究离散对象的一个数学分支，是计算机专业的一门重要的基础课。它所研究的对象是离散的数量关系和离散的数学结构模型。本书共10章，主要包含数理逻辑、集合与关系、函数、图和树、组合计数、离散概率、数论与递归关系、代数系统、自动机、文法和语言等内容，基本上涵盖了计算机专业读者必须掌握...