由五部分组成。第一部分数理逻辑，包含命题逻辑和谓词逻辑。内容包括：命题及其表示，谓词与量词，等价与蕴含，析取与合取范式，推理理论。第二部分集合论，主要内容包括：集合的基本概念及其运算，关系，函数，相容关系，等价关系与序关系和格。第三部分是计数理论，内容包括：整数与除法，矩阵，数学归纳法，递归与递推，计数原则，排列和组合。第四部分代数系统，内容包括：运算及其性质，同构与同态，代数系统基本概念，半群和群，格和布尔代数。第五部分图论，内容包括：图的基本概念，图的矩阵表示，平面图，树及其应用。本书充分考虑了所选内容与计算机后续课程的相关性和重复度，内容安排合理，概念清晰，叙述严谨精炼，语言简明易懂，并有大量例题和习题。本书可作为高等院校本科计算机专业离散数学课程的教材，也可供计算机科学与工程技术人员学习参考

无

无