前言 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点，计算机科学中的程序设计语言、数据结构、操作系统、数据库技术、编译理论、算法分析、可计算性与计算复杂性理论、逻辑设计、系统结构、容错诊断、人工智能与机器人、机器定理证明等理论课程都是以离散数学为基础的。 本教材是作者根据二十多年的教学经验和较成熟的教案整理而成。离散数学包括4大部分，各部分内容都十分丰富，自成体系。本教材将这4大体系中最基本、最重要的内容选入，并努力做到简明扼要、深入浅出，既保持各体系的独立性，又展现出它们的密切联系。本教材的主要特色是： 1通过大量的实例从不同的角度对一些抽象的概念进行诠释，使其易于被学生接受和理解。 2将同类且对比鲜明的概念（如关系的自反与反自反性、对称与反对称性，偏序集中子集的极大极小元、最大最小元等）集中定义，并通过典型的实例进行对比说明，使学生深刻理解它们的区别与联系。 3介绍了离散数学理论在计算机科学及信息科学中的一些典型应用，使学生认识到离散数学的重要性，激发学生学习的积极性。 4精心安排各部分内容的先后顺序，使教材的结构更合理、内容更充实、语言更通俗易懂。 5对离散数学中的主要专业术语给出了英文标注，便于学生参阅一些国外相关教材和专著。 总之，本教材在内容的组织上，力求提供培养学生抽象思维、慎密概括和严密的逻辑推理能力的同时，注重展现离散数学在计算机科学及信息科学中的应用，以增强学生使用离散数学知识分析问题和解决问题的能力,为今后处理离散信息，从事计算机软件的开发与设计以及计算机科学及信息科学中的其他实际应用打好数学基础。 本书的主要内容包括命题逻辑、谓词逻辑、集合与关系、代数结构和图论等知识，可作为计算机科学与技术及信息类本科专业的基础理论教材，也可供有关技术人员学习参考。本教材的基本教学时数约为80学时，标有*号的内容需另行安排约20学时。 本书由冯美玲撰写第1、2章和第7章的71～74节，于青撰写第3、4章，魏雪丽撰写第5章和第6章的61～64节，对全书中的主要专业术语给出了英文标注，并对全书进行了修改、统稿和定稿，孙俊清教授撰写第6章的65、66节，并对全书的内容进行了认真审阅，张玉琍撰写第7章的75～79节。韩天锡教授和岳廷海博士对全书的内容进行了认真审阅，并提出了许多修改意见，在此深表谢意。 在编写本书的过程中参阅了许多国内外离散数学教材及专著，在此对这些作者们表示感谢。 由于水平和经验有限，书中错误及不妥之处在所难免，恳请读者批评指正。 编者