离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。离散数学以是研究：离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点

离散数学(又称计算机数学)是现代数学的 重要分支,是计算机专业课程中的核心基 础课程之一。 离散数学以是研究:离散量的结构和相互之 间的关系为主要目标,其研究对象一般为 :有限或可数个元素(例如:自然数、整 数、真假值、有限个结点等),而离散性 也是计算机科学的显著特点

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

集合论基础 二元关系 函数 基本概念及集合的表示方法 集合间的关系 特殊集合 集合的运算 ＊包含排斥原理

定义一个图是一个三元组,简记为G＝

定义：设X和Y是任何两个集合，而f是X到 Y的一个关系，如果对于每一个xX，有 唯一的yY，使得f，称关系f为 函数，记作：

一、集合是现代数学各分支的共同基础，当 然也是本书的基础，读者应熟练地掌握 本章的全部内容，本章的一些内容，如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过，但为了内容 的完整及这些内容基础地位，我们没有 省略这些内容

本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题