本书作为计算机专业的专业基础教材，主要介绍离散数学的基础知识，全书共分7章，包括命题逻辑，一阶谓词逻辑集合论与二元关系，函数，代数系统，格代数，图论等，并含有相关的例题与习题。本书适用于高等理工科院校、计算机 科学、工程、应用信息安全专业的本科生。也适用于对此课程有需要的信息管理、通信工程及跨专业的本科生。也可供教师、研究生及有关工程技术人员参考使用，也适合作为自学读本。