《离散数学》课件-第4章 二元关系与函数.pptx

第4章 二元关系与函数;4.1 集合的笛卡儿积和二元;有序 n 元组;笛卡儿积( ? )（直积）;笛卡儿积( ? )的性质;直积运算性质的证明;[P77例4.2]判断等式是否;[P77例4.2]判断等式是否;[P78例4.3]判断命题的真;作业 9;复习思考题8;第4章 二元关系与函数;笛卡儿积( ? )的性质;直积运算性质的证明;[P77例4.2]判断等式是否;(A?B)?(C?D) =(A;(A?B)?(C?D) =(A;[P77例4.2]判断等式是否;(A?B)?(C?D) =(A;[P77例4.2]判断等式是否;[P78例4.3]判断命题的真;二元关系的定义;从A到B的关系与A上的关系;A上重要关系及实例;A上重要关系及实例;A上重要关系及实例;关系的表示;关系的表示;用矩阵表示从A到B的二元关系;用矩阵表示从A上的二元关系;关系的表示;用关系图表示从A到B的二元关系;用关系图表示从A上的二元关系;4.2 关系的运算;关系的逆和合成运算;关系的合成运算;关系的合成运算;限制与像;关系基本运算的性质;关系基本运算的性质;P33.10 用给定联结词集;P33.10 用给定联结词集;P34.15;P34.15;P35: 19 构造下述推理;P35: 19 构造下述推理;P35: 19 构造下述推理;P35: 19 构造下述推理;P53. 3(个体域为“全总个;这只大红书柜摆满了那些古书。;P54.7 公式的解释;P54.7 公式的解释;P54.15(2) 求下列公;第4章 二元关系与函数;A上关系的幂运算;幂运算的性质;幂的求法;幂的求法;幂的求法;幂的求法;幂的求法（续）;幂的求法（续）;4.3 关系的性质;关系的自反性;关系的反自反性;实例;关系的对称性;关系的反对称性;实例;关系的传递性;实例;自反性证明;对称性证明;反对称性证明;传递性证明;作业 11;复习思考题9;第4章 二元关系与函数;关系性质的充要条件;运算与性质的关系;4.4 关系的闭包;闭包的构造方法;闭包的构造方法举例;闭包的构造方法举例;闭包的构造方法（矩阵法）;闭包的矩阵构造方法举例;传递闭包t(R)的矩阵构造方法;自反闭包的构造方法（关系图法）;对称闭包的构造方法（关系图法）;传递闭包的构造方法（关系图法）;4.5 等价关系;等价关系的实例;等价关系的实例;A上模3等价关系的关系图;等价类;等价类的性质;等价类的性质举例;商集;商集A/R中的元素是两两互不相;集合的划分;商集和划分的关系;由划分导出等价关系的方法;设 A={1,2,3}，求出A;设 A={1,2,3}，求出A;由等价关系导出划分的方法;复习思考题10;第4章 二元关系与函数;等价关系与划分是一一对应的;由划分导出等价关系的方法;由划分导出等价关系的方法;设A={1,2,3,4}在A?;偏序关系;相关概念;偏序集与哈斯图;哈斯图实例;哈斯图实例;哈斯图实例;哈斯图实例;偏序集的特定元素1;特殊元素的性质1;偏序集的特定元素2;特殊元素的性质2;例题;4.6 函数的定义与性质;函数相等;从 A 到 B 的函数;B上A;实例;函数的像;函数的性质;判断下面是否为函数,单射, 满;证明函数是单射和满射;证明函数是单射和满射;构造从A到B的双射函数;构造从A到B的双射函数（续）;构造从A到B的双射函数（续）;常函数、恒等函数、单调函数;集合的特征函数;集合的特征函数;自然映射;作业 13;复习思考题11;第4章 二元关系与函数;构造从A到B的双射函数;构造从A到B的双射函数（续）;构造从A到B的双射函数（续）;常函数、恒等函数、单调函数;集合的特征函数;集合的特征函数;自然映射;4.7 函数的复合与反函数;函数复合的定理;函数复合的定理;函数复合运算的性质;函数复合运算的性质;函数复合运算的性质;函数复合运算的性质;反函数存在的条件;反函数;反函数的定义及性质;反函数的计算;函数复合与反函数的计算;集合论在计算机科学中的应用;单机调度;单机调度;单机调度----拓扑排序;双机调度;两个调度方案;多机调度;多机调度——问题描述;多机调度——问题描述（续）;多机调度——问题描述（续）;多机调度——问题描述（续）;一般性的调度问题