6、形式语言与自动机所含课件：离散数学.ppt二元关系.ppt集合论初步.ppt离散试题2001级总

ppt03、集合的基本概念和运算.ppt04、二元关系.ppt05、代数系统.ppt06、几个典型的

《离散数学》是研究离散对象的结构以及它们之间相互关系的科学，此课是计算机科学与技术专业的重要的理论基

1计数原理.ppt4.4排列与组合.ppt4.5排列与组合的生成.ppt5关系.ppt7图论.ppt

第2章一阶逻辑第3章集合的基本概念和运算第4章二元关系和函数第5章代数系统的基本概念第6章几个典型的

3.3 集合中元素的计数 集合的基数与有穷集合 包含排斥原理 有穷集的计数 4.1 集合的笛卡儿积和二元关系 有序对 笛卡儿积及其性质 二元关系的定义 二元关系的表示

◼ 有序对 ◼ 笛卡儿积及其性质 ◼ 二元关系的定义 ◼ 二元关系的表示 基本运算定义 定义域、值域、域 逆、合成、限制、像 ◼ 基本运算的性质 ◼ 幂运算 定义 求法 性质

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算

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

4.1 集合的笛卡尔积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数