本书系统讲解离散数学基础知识和应用方法，由六部分构成：第一部分数理逻辑，内容包括命题逻辑和谓词逻辑；第二部分集合论，内容包括集合的基本知识、排列与组合、递推关系、集合论在命题逻辑中的应用、关系、函数、经典集合的扩展等；第三部分数论，内容包括整除和同余；第四部分代数系统，内容包括代数系统的基本概念及性质、半群、独异点、群、环、域、布尔代数等；第五部分图论，内容包括图的基本概念及矩阵表示、几类重要的图、最短路径、关键路径等：第六部分计算机科学中的应用，内容包括形式语言与自动机、纠错码等。.本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，另外各章配备了大量的例题，便于自学。为了体现与前导课和后继课的联系，激发学生的学习兴趣，书中融入了一些编程的思想，并加进了上机实验内容。本书特点：本书可作为高等院校计算机及相关专业本科生的教材，也可供相关科技人员学习参考。..离散数学是研究离散量的结构及其相互关系的数学学科，是计算机及相关专业的核心和骨干课程。本书是作者结合多年的教学实践编写而成的，按"精、广、新"的要求组织教学内容，并本着实用的原则增加了上机实验内容等，确保了计算机专业学生能够获得应有的数学知识和解决问题的能力。本书可作为高等院校计算机及相关专业离散数学课程的教材，也可供相关科技人员学习参考。...