前言

离散数学是现代数学的重要分支，是计算机相关学科的基础理论课之一。它为计算机相关专业的后续课程（如数字逻辑、程序设计、编译原理、数据库系统、人工智能等）的学习奠定基础。因此，离散数学是计算机科学与技术、网络工程及信息管理与信息系统专业本科生的必修专业基础课之一。

通过离散数学课程的学习，学生能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识，并运用其理论、思想和方法来学习和研究计算机各学科，为深入学习计算机科学打下坚实的基础。离散数学的先行课是数学的一些基础学科，如高等数学和线性代数等。同时，离散数学是学习计算机科学中某些学科的先行课程，即它是学习数字逻辑、程序设计、数据结构、编译方法、形式语言等学科的基础。

本书内容除第一章绪论外分为三部分：数理逻辑（第2章，第3章）、集合论（第4章，第5章）和图论（第6章）。由于离散数学具有知识不连续的特点，因此在教学时可以选择性地安排教学顺序。

本书由邹丽娜、丁茜、罗旭任主编，由刘哲、刘冰、周颖任副主编。

由于编者水平有限，经验不够丰富，书中难免存在不足之处，敬请广大读者批评指正。

编者

2015年11月