知识的化简第3.1节 引言本章讨论如何约减知识库即如何消除知识库中的冗余知识分为两种基本类型的约减：知识(等价关系)的约减概念(等价类)的约减第3.2节 知识的简式与核定义3.1设R是一个等价关系簇若有一等价关系R∈R使得IND(R)IND(R?{R})则称R在R中是不必要的(dispensable)否则称R在R中是必要的(indispensable)若?R∈R都是必要的则说R是独立的(in

学生编号学生授课教师辅导学科 高一数学教材版本沪教版课题名称命题形式课时进度总第()课次授课时间教学目标1.要求学生掌握判断命题的真假 理解命题的推出关系重点难点要求学生理解四种命题形式之间存在的等价关系 同步教学内容及授课步骤教学过程：新课引入：1.命题的概念：可以判断真假的语句叫做命题2.真命题假命题：正

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第三章 集合与关系3-10 等价关系与等价类 授课人：李朔Email:chn.nj.lsgmail1一等价关系等价关系是常用的重要关系它使我们能对集合的元素分类例如面积相等相似全等其分类原则是每个元素仅属于某一类且不同类之间没有公共元素等价关系它有良好的性质在计算机科学和计算机技术信息科学和信息工程中都有广泛的应用目

授课时间 第九周 第 1 次课授课章节 等价关系与偏序关系任课教师及职称唐新华讲师教学方法与手段板书和电子课件结合课时安排2课时使用教材和主要参考书1教材：耿素云等离散数学清华大学出版社20082.参考书左孝琳李为槛刘永才离散数学(上海科技文献版)2006教学与目的要求：掌握序偶与笛卡尔积的基本

例 4证明：证令则且时因此即有等价关系上述证明同时也证明了等价关系完

定义1.3 设R是论域U上的一个等价关系[x]R表示包含x∈U的R中的一个概念即一个等价类UR表示R的所有等价类的簇(或U上的分类)称其为R的概念组基本类就是等价类 不精确概念 近似和粗集第2.1节 引言粗集理论如何处理不精确概念(imprecise or vague concepts) 第2.2节 粗集定义2.1 设U是一个论域 R是U上的一个等价关系XU . 如果X是一些R基本类(

不是等价关系不满足对称性和传递性是等价关系和S都是等价关系规则：1.每个结点都有由自己出发并指向自己的曲线弧 2.每两个结点之间都有两条曲线弧并且方向相反={<11><22><12><21><33><44><55><45><54> <55>} (b)S={<11><22><33><44><55><15><51>} 如果R是A上的等价关系 则由

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级关系的闭包等价关系离散数学－关系南京大学计算机科学与技术系内容提要闭包的定义闭包的计算公式传递闭包的Warshall算法等价关系等价类划分关系的闭包：一般概念设R是集合A上的关系P是给定的某种性质(如：自反对称传递)满足下列所有条件的关系R1称为R的关于P

定义1.3 设R是论域U上的一个等价关系[x]R表示包含x∈U的R中的一个概念或范畴(一个等价类)UR表示R的所有等价类的簇(或U上的分类)称其为R的概念组或范畴组基本类就是等价类 不精确概念 近似和粗集第2.1节 引言粗集理论如何处理不精确概念(imprecise or vague concepts) 第2.2节 粗集定义2.1 设U是一个论域R是U上的一个等价关系XU . 如果X是一

例 4证明：证令则且时因此即有等价关系上述证明同时也证明了等价关系完

例 4证明：证令则且时因此即有等价关系上述证明同时也证明了等价关系完