离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。本教材是作者根据二十多年的教学经验和较成熟的教案整理而成。离散数学包括4大部分，各部分内容都十分丰富，自成体系。本教材将这4大体系中最基本、最重要的内容选入，并努力做到简明扼要、深入浅出，既保持各体系的独立性，又展现出它们的密切联系。本书的主要内容包括命题逻辑、谓词逻辑、集合与关系、代数结构和图论等知识，可作为计算机科学与技术及信息类本科专业的基础理论教材，也可供有关技术人员学习参考。

本书作为计算机科学与技术及信息类专业的基础理论教材，主要内容包括命题逻辑、谓词逻辑、集合与关系、映射、代数结构、格与布尔代数、图论等知识，对相关知识的专业应用内容也作了介绍。离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。

本教材在内容的组织上，力求提供培养学生抽象思维、慎密概括和严密的逻辑推理能力的同时，注重展现离散数学在计算机科学及信息科学中的应用，以增强学生使用离散数学知识分析问题和解决问题的能力，为今后处理离散信息，从事计算机软件的开发与设计以及计算机科学及信息科学中的其他实际应用打好数学基础。

前言

第1章 命题逻辑

第2章 谓词逻辑

第3章 集合与关系

第4章 映射

第5章 代数结构

第6章 格与布尔代数

第7章 图论

参考文献