离散数学 第2版

本书针对培养计算机科学研究及应用型人才的教学要求，对原教材进行调整和修订，在着重介绍离散数学的基本知识、基本理论和基本方法的基础上，结合计算机科学领域的新知识和新方法，给出相应的应用实例。本书主要内容包括命题演算、谓词演算、递归函数论、集合论、关系、函数、图论、树、代数系统等内容。为了便于学生巩固所学知识，本书在原教材的基础上适当增加相应的典型例题分析和习题数量。本书不仅可以作为高等学校计算机及相关专业离散数学课程教材，也可供相关科技人员阅读参考。