大连海事大学离散数学期末总复习纲要资料.pptVIP

4. 可约的或可消去的 设X,*为代数系统，且a?X，如果对任意的x，y?X有： （a*x=a*y）∨（x*a=y*a）?x = y 则称a是可约的或可消去的。 . 5. 代数系统 设X是一个非空集合，?为X上的代数运算构成的非空集合，则称序偶X, ?为一个代数系统（或代数结构），其中： (1)集合X为代数系统X, ?的定义域。如果X是个有限集合，则称X, ?为有限代数系统，│X│=n为代数系统的阶；否则称X, ?为无限代数系统。 (2)?=?1，?2，…?n｝为X中的n元运算（n=1，2，3，…）构成的集合，如果?为有限集合，则可将X, ?表示为：X, ?1，?2，…?n。 . 6. 同态与同构的概念 设U＝X，ｏ，V＝Y，*是两个代数系统，ｏ和*是二元运算，函数f：X→Y，如果对任意的x，yX有: f(xｏy)=f(x)*f(y) (运算的像=像的运算) 则称f是代数系统U到V同态映射(简称同态)，并称代数系 统U与V同态。 (1) 如果f是满射的，则称f 是从U到V的满同态； (2) 如果f是单射的，则称f 是从U到V的单一同态； (3) 如果f是双射的，则称f 是从U到V的同构。 (4) 如果U=V，则称f是从U到U的自同构。 . 7. 代换性质和同余关系 代换性质：给定代数系统X，*，其中是个二元运算。设R是X中的等价关系，如果对任意的x1，x2?X和y1，y2?X有： (x1Rx2)∧(y1Ry2)?(x1*y1)R(x2*y2) 则称等价关系E对于运算具有代换性质。 同余关系：给定代数系统U=X，*，且R是集合X 中的等价关系。如果等价关系R对运算具有代换性 质，则称R是代数系统U中的同余关系。 . （1）需要熟练掌握的知识点包括：命题的定义、逻辑联结词、命题变元、命题公式（合式公式）、永真式、永假式、可满足式、等价式、蕴涵式、极小项、极大项、主析取范式、主合取范式。 第1章命题逻辑重点 . （2）掌握基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（替换规则和推论规则）。 第1章命题逻辑重点（续） . （3）要能准确地求出命题公式的主析取范式和主合取范式。掌握主析取范式和主合取范式与真值表的对应关系，主析取范式和主合取范式的关系。 第1章命题逻辑重点（续） . （4）掌握命题符号化的原则； （5）熟练掌握四个推论规则（P、T、CP、F）进行有效性论证。 第1章命题逻辑重点（续） . 第2章 谓词逻辑重点 （1）需要熟练掌握的知识点包括：谓词、全称量词(?x)、存在量词 (?x) 、个体、个体域、个体变元（约束变元和自由变元）、谓词公式的解释（永真、永假、可满足）、谓词公式的基本的等价式和蕴涵式。 . 第2章 谓词逻辑重点（续） （2）在符号化时要特别注意量词和逻辑联结词的搭配：全称量词对应逻辑联结词“→”，存在量词对应逻辑联结词“∧”。 （3）在谓词逻辑推理的证明中，要特别注意US，ES，UG，EG规则成立的条件（用ES规则指定的个体不能用UG规则加以推广）。 . 第三章 集合 (1)掌握集合的基本概念及其表示，集合之间的关系（子集? 、真子集? ）、元素与集合的关系（属于? ）、全集、空集、幂集、笛卡尔乘积等概念。 (2)能熟练地证明集合中的相等关系、包含关系。 (3)掌握集合的五种基本运算： ~A、A∩ B、A∪ B、A-B、A⊕ B 及集合运算的基本定律。 . 第四章二元关系 (1)掌握关系矩阵和关系图的表示方法。 (2)掌握合成运算、逆运算、闭包运算的概念。 (3)熟练掌握关系的性质（自反性、反自反性、对称性、反对称性、可传递性）及其判别方法。 . 第四章二元关系（续） (4)掌握等价关系（自反、对称、可传递）和偏序关系（自反、反对称、可传递）的概念及证明。 (5)掌握等价关系和划分之间的相互关系。 (6)掌握偏序关系和哈斯图，并会求极大（小）元、最大（小）元、上（下）界、上（下）确界。 . 第四章 函数 一、主要内容 二、本章要点 . 一、主要内容 1、函数的基本概念 2、函数的性质 3、特种函数 4、复合函数 5、逆函数 . 1、函数的基本概念 设f是从集合X到Y上关系，若对任意的x?X都存在唯一的y?Y，使x，y?f，则称关系f为函数（或映射），记作：f: X→Y。 (1)对于函数f: X→Y，如果﹤x，y﹥?f，也写成y=f(x), 并称x为自变量，y称为函数在x处的值，或称y为在函数f的作用下x的像点，相应地称x为y的原像。 (2)对于函数f: X→Y，则称X为函数f的定义域，Y称为f的陪域；Rf是f的值域。 . 2、函数的性质 设函数f: X→Y,则f满足下面两个性质： (1)任意性：函数的定义域必须是集合X，即：Df = X；