离散数学是研究离散量的结构及相互关系的数学科学，是现代数学的一个重要分支。由于计算机只能处理离散的数量关系，所以离散数学是计算机科学各专业最重要的专业基础课之一。随着计算机科学的发展，离散数学作为计算机科学的一种数学工具，其作用日益重要。同时，离散数学还是计算机科学许多专业课程的基础，其基本概念、基本理论和基本方法在数据结构、操作系统、编译原理、软件工程、程序设计语言、算法设计与分析、计算机网络、通信与接口、多媒体技术、数据库管理系统、人工智能、形式语言与自动机、数字电路等课程中有广泛的应用。

    应用型本科培养计算机技术方面的应用型高级技术人才。这种类型的人才既需要懂得离散数学的基本概念和基本理论，更需要掌握离散数学的基本方法和实际应用。

    由于各院校计算机专业培养目标不同，因而对离散数学知识有不同的要求。已经出版的不同版本的离散数学教材不仅包含的数学分支不完全一样，而且各部分的广度差别较大，难度也显著不同。本教材是在已出版的同类教材的基础上继续探索和创新的结果，相信会满足不同读者的需要。

    本教材编者有着长期从事离散数学课程教学的丰富经验，熟悉多门计算机科学专业课程。为了编写出有特色的高质量教材，编者多次向计算机科学方面的专家、学者请教，深入了解计算机科学各专业所需的离散数学知识。在此基础上确定了本教材的下列编写原则：

    (1)  根据计算机科学各专业对离散数学知识的基本要求确定内容的广度和深度。

    本教材包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论6个分支，涵盖了离散数学的主要分支。每个分支都包括了基本内容，并严格把握其广度和深度。凡是重要的基本概念、基本方法不惜篇幅讲透彻，例题和习题恰当地控制了难度和深度。

    针对应用型本科的培养目标，本教材编写了以下3个有特色的内容： ①第1章介绍了离散数学必需的基础知识； ②第8章介绍了几个主要算法的伪代码； ③附录A、附录B、附录C收录了离散数学的常用符号及中英文、英中文名词术语对照表。这些内容对应用型本科学生的学习很有帮助。

    (2)  便于学生阅读理解。

    针对应用型本科学生的实际水平和认知能力，本教材在编写方式上采取了以下3个措施，期望有助于读者阅读理解： ①尽可能先通过实例提出问题，再介绍有关定义、定理和概念，或者随后附加实例对有关概念的各个方面进行补充说明； ②对较难理解的概念，充分利用图形、图像和通俗的语言予以说明； ③对基本概念、重要定理、重要公式和解题方法，不惜篇幅，叙述清楚。

    (3)  与专业知识相结合。

    各章节都尽可能编写了本部分内容在计算机科学中的实际应用，使离散数学亲近专业。本教材突出培养学生运用离散数学知识解决与计算机科学相关的实际问题的能力。

    本教材力求做到： 深入浅出、概念准确、知识结构完整。

    本教材采用了周忠荣编著、清华大学出版社出版的《计算机数学》中的相关内容，特此说明。

    为了便于读者理解和注意，本教材使用了一些特殊的表达方式：

    (1)  重要数学名词在第一次出现时以黑体字标出。如： 集合. 

    (2)  重要的问题以【说明】的方式给出。

    (3)  定理、推论、说明和一些重要结论都用楷体字表述。如： 一个关系可以既不是对称的，也不是反对称的。

    本教材的编写得到了广州大学华软软件学院邹婉玲副院长、徐祥副院长、教务处麦才淞处长、网络技术系黄友谦主任、软件工程系黄思曾主任的全力支持和指导，编者对他们表示感谢。

    本教材由周忠荣（第5, 7, 8章和附录），林伟初（第2章），江定汉（第6章），袁燕（第1, 4章），周志轩（第3章）编写。周忠荣为全书拟订了详细的编写提纲和要求，并负责统一修改、定稿。江定汉、周志轩审阅了部分章节的初稿，数学教研室的各位教师也给予了积极支持和帮助。

    编者期望本教材能得到广大教师和学生的欢迎，能对离散数学课程的改革做些贡献。本教材虽经多次修改，但因编写时间紧迫、编者水平有限，书中疏漏、差错难免，恳请读者批评指正。希望本教材在广大教师和学生的建议和帮助下得到不断的改进和完善。编者的E-mail地址是：zzr@tsinghua.org.cn.