离散数学

本书从应用的角度介绍离散数学。全书共分9章，分别是：命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨、叙述深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。特别是在每章后面增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。这对于学生学习、理解和应用离散数学理论有很大的帮助。