离散数学

离散数学是计算机科学基础理论的核心课程，是高等院校计算机专业必修的重要的专业基础课程。本书介绍了离散数学的基础理论知识，全书共分11章：包括命题逻辑、谓词逻辑、集合、关系、函数、集合基数、图论、欧拉图和哈密尔顿图、特殊图、代数系统、布尔代数等内容。本书在内容上安排合理、体系严谨，叙述力求深入浅出、简明扼要，书中配有典型例题和习题，并与计算机科学的理论和实践紧密结合。本书可作为高等院校计算机及其相关专业的教材，也可供从事计算机工作的科学技术人员以及其相关人事使用或参考。