四川大学计算机学院冯伟森离散数学(第40讲总复习一).ppt

* 计算机学院 * 例11 设集合A＝{a,b,c},R＝{a,b,b,b,b,c}是定义在A上的二元关系，求r(R),s(R),t(R),并画出R，r(R),s(R),t(R)的关系图和求出相应的关系矩阵。 解： r(R)＝{a,b,b,b,b,c,a,a,c,c}； s(R)＝{a,b,b,b,b,c,b,a,c,b}； t(R)＝{a,b,b,b,b,c,a,c}。 * 计算机学院 * 例11（续） * 计算机学院 * 例12 设 则： * 计算机学院 * 循环的积 计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * * 计算机学院 * 第一章 一、基本概念 命题、命题常元、命题变元、命题的解释或赋值、原子命题(简单命题)、复合命题、否定联结词、合取、析取、可兼或、不可兼或、条件、双条件、常值命题、命题变量、命题公式、命题公式的解释、真值表、永真公式(重言式)、永假公式(矛盾式，不可满足公式)、可满足公式、公式的等价、对偶（公）式、对偶原理、子句、短语、析取范式、合取范式、主析取（主合取）范式、极小项、极大项 * 计算机学院 * 二、基本要求 1、深刻理解五种常用联结词的涵义，并能准确地应用它们将基本命题及复合命题符号化。 2、熟练地写出给定命题公式的真值表 3、牢记基本等价式的名称及它们的内容； 4、熟练地应用基本等价式及置换规则进行等价 演算 5、熟练掌握求主析取（主合取）范式的方法 * 计算机学院 * 6、理解并牢记9类基本蕴涵关系式和蕴涵的基本性质 7、牢记各条推理规则的内容及名称 8、熟练掌握推理的各种方法（直接法、利用CP规则、反证法） * 计算机学院 * 第二章 一、基本概念 全总个体域（全论域）、全称量词、存在量词、特性谓词、指导（作用）变元、辖域（作用域）、约束变元、自由变元、约束变元的改名规则、自由变元的代入规则、常量符号、变量符号、函数符号、谓词符号、谓词公式、公式的解释、永真公式(重言式) 、永假公式(矛盾式，不可满足公式）、可满足公式、前束范式、母式、前束合取(或析取)范式、Skolem范式、US(全称指定规则)、ES(存在指定规则)、UG(全称推广规则)、EG(存在推广规则) * 计算机学院 * 二、基本要求 能准确地将给定命题符号化 深刻理解全称量词、存在量词及量词的辖域、全总个体域的概念 能准确理解约束变元(量)和自由变元的概念 掌握约束变元的改名规则和自由变元的代入规则 能熟练地运用US、ES、UG、EG规则进行推理 * 计算机学院 * 第三、四、五章 一、基本概念 幂集、笛卡尔集、关系、n元关系、空关系、二元关系、全关系、关系矩阵；关系的交、并、补、差、复合、幂、逆；自反闭包、对称闭包、传递闭包；等价关系、以m为模的同余关系、等价类、生成元、偏序关系、偏序集、偏序集的哈斯图、最大元 、最小元 、极大元、极小元、上界、下界、最小上界、最大下界、全序关系、良序关系、良序集 * 计算机学院 * 二、基本要求 1、熟练掌握关系的性质和运算 2、熟练运用Warshall算法计算关系的传递闭包 3、熟练掌握偏序关系的哈斯图的画法以及由哈斯图给出相应的偏序关系 4、熟练掌握求偏序集中子集的最大元 、最小元 、极大元、极小元、上界、下界、最小上界、最大下界的方法 5、熟练掌握利用关系的性质和定义进行证明 * 计算机学院 * 第六章 一、基本概念 复合函数、单射 、满射、双射、置 换、单位(恒等)置换、循环、逆函数 二、基本要求 1、熟练掌握判断函数是否为单射 、满射、双射的方法 2、熟练掌握置换的复合运算和置换表示成循环的积的方法 * 计算机学院 * 求G＝(P→Q)∧R的主合取范式和主析取范式。 解：（公式转换法） G＝(P→Q)∧R＝(～P∨Q)∧R（蕴涵） ＝(～P∨Q∨(R∧～R))∧ ((～P∧P)∨(～Q∧Q)∨R)（添加R、P、Q） ＝(～P∨Q∨R)∧(～P∨Q∨～R)∧ (～P∨～Q∨R)∧(～P∨Q∨R)∧ (P∨～Q∨R)∧(P∨Q∨R) （分配律） ＝(P∨Q∨R)∧(P∨～Q∨R)∧(～P∨Q∨R)∧ (～P∨Q∨～R)∧(～P∨～Q∨R)（结合律） －－－－－主合取范式 例1 * 计算机学院 * G＝(P→Q)∧R＝(～P∨Q)∧R （蕴涵） ＝(～P∧R)∨(Q∧R) ＝(～P∧(～Q∨Q)∧R)∨((～P∨P)∧Q∧R) ＝(～P∧～Q∧R)∨(～P∧Q∧R)∨ (～P∧Q∧R)∨(P∧Q∧R) （分配律） ＝(～P∧～Q∧R)∨(～P∧Q∧R)∨(P∧Q∧R) ——主析取范式 * 计算机学院 * 真值表技术法 1)、求