内容简介

本书是山东省省级精品课程“离散数学”的主讲教材，是全国教育科学“十一五”国家课题“我国高校应用型人才培养模式研究”重点子课题“应用型本科院校计算机专业课程体系构建研究”的研究成果。
　　本书系统讲解离散数学基础知识和应用方法，由六部分构成；第一部分数理逻辑，内容包括命题逻辑和谓词逻辑；第二部分集合论，内容包括集合的基本知识、排列与组合、递推关系、集合论在命题逻辑中的应用、关系、函数、经典集合的扩展等；第三部分数论，内容包括整除和同余；第四部分代数系统，内容包括代数系统的基本概念及性质、半群、独异点、群、环、域、布尔代数等；第五部分图论，内容包括图的基本概念及矩阵表示、几类重要的图、最短路径、关键路径等；第六部分计算机科学中的应用，内容包括形式语言与自动机、纠错码等。
　　本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，另外各章配备了大量的例题，便于自学。为了体现与前导课和后继课的联系，激发学生的学习兴趣，书中融入了一些编程的思想，并加进了上机实验内容。
　　本书可作为高等院校计算机及相关专业本科生的“离散数学”课程教材，也可供相关科技人员学习参考。