“离散数学”是计算机及其相关专业的专业基础课。全书共分四篇: *篇是数理逻辑, 包括命题逻辑和一阶逻辑; 第二篇是集合论, 包括集合、二元关系和函数; 第三篇是图论基础, 包括图的基本概念、特殊图和树; 第四篇是代数系统, 包括代数系统的基本概念和典型代数系统简介。  本书用大量的实例将理论知识和计算机应用相结合, 可作为应用型高校计算机科学与技术、网络工程、软件工程、电子与计算机工程等相关专业“离散数学”课程的教材, 也可作为计算机及相关领域研究和应用开发人员的参考书。