离散数学复习..docVIP

第1章 命题逻辑 命题的定义 命题的翻译，“只要就”，“只有才”，“除非”等 公式分类与等价式（其中比较特别的公式） 对偶式 范式，主范式，大小项 命题逻辑的推理理论 第2章 谓词逻辑 谓词的基本概念，“存在后跟合取，全称后跟条件” 约束变元，自由变元 谓词逻辑中的等价式（其中比较特别的公式） 第3章 集合论 集合、元素的定义（如P96习题2） 幂集的定义 集合自身的并、交运算 第4章 关系与函数 关系的定义 关系的运算 1）基本运算 2）特有运算：①复合运算；②幂运算；③逆运算；④闭包运算 关系的三种表示：①集合，②关系矩阵，③关系图 关系的性质：①自反性；②非自反性；③对称性；④非对称性；⑤反对称性；⑥传递性。这些性质反映在矩阵上，关系图中有什么特点？ 等价关系 偏序关系：①定义；②最大（小）元，极大（小）元；③后面的格中涉及到的哈斯图 第12章 代数结构 代数结构的定义与例 代数结构的性质 第13章 半群与群 半群和独异点的定义及性质 群的定义及性质 Abel群定义及性质 第15章 格与布尔代数 哈斯图（内容见PPT） 格（内容可以看PPT，或见附录） 第16章 图的基本概念及其矩阵表示 图的基本概念（包括简单图，多重图，零图，完全图，正则图，生成子图，诱导子图，握手定理的灵活运用） 链（或路）和圈（回路） ①基本链（路），简单链（路），基本链（路）和圈（回路）的性质 ②无向图和有向图的结点的可达，无向图和有向图连通性，连通分图 最短链（路）（包括无向图和有向图） 图的矩阵表示：邻接矩阵，关系矩阵，可达矩阵 第17章 几类重要的图 欧拉图与哈密尔顿图：定义与性质 二部图：定义 树 1）无向树：①五个定义（性质）（注意灵活运用）；②最小生成树的定义及求法 2）有向树：①最优二叉树；②哈夫曼编码 附录： 格 定义：设L,≤是一个偏序集，若对任意a,b?L，存在最大下界(GLB)和最小上界(LUB)，则称L,≤为格。 用a?b表示GLB{a,b}，a?b表示LUB{a,b}，并称?和?分别为L上的交（或积）和并（或和）运算。这样我们由偏序关系定义了两种二元运算。有时也用∧和∨分别表示?和? 因此，格有时也表示成L,?,?或L,∨,∧。 子格 定义：设L,∨,∧是一个格，S是L的非空子集，如果S关于运算∨和∧是封闭的，则称S,∨,∧是L,∨,∧的子格。显然，子格本身是一个格。 例如：设S,≤是一个格，其中S＝{a,b,c,d,e,f,g,h}，如图所示，取 S1={a,b,d,f} S2={c,e,g,h} S3={a,b,c,d,e,g,h} 问，其中哪些构成格？哪些是S,≤的子格？ S1,≤,S2,≤是S,≤的子格，而S3,≤虽然是格，但不是S,≤的子格，因为b∧d=f?S3。 分配格 定义：设L,≤是格，对任意的a,b,c?L，有 ① a?(b?c)=(a?b)?(a?c) ② (a?b)?(a?c)=a?(b?c) 则称L,≤为分配格，称①和②为格中分配律。 性质1：如果交对并可分配，则并对交也一定是可分配的，反之亦然。 只证前半部分，即由①推②：(a?b) ? (a?c)＝((a?b) ?a) ? ((a?b) ?c)（根据①） ＝(a?a) ? (a?b) ? (c?a) ? (c?b)（根据①，交换律） ＝a? (a?b) ? (a?c) ? (b?c) ＝a? (b?c)（吸收律） 注：此性质说明，分配格的定义可以简化成只需满足①或②其中之一即可。 性质2：每个链L,≤都是分配格。（|L|≥3） 例：证明Sn,≤是一个分配格。 证：设∧和∨分别为Sn上的交（或积）和并（或和）运算，对于任意a，b，c∈Sn，有 a∨(b∧c)=lcm(a, gcd(b, c))=gcd(lcm(a, b),lcm(a, c))=(a∨b∧(a∨c) a∧(b∨c)=gcd(a, lcm(b, c))=lcm(gcd(a, b),gcd(a, c))=(a∧b)∨(a∧c) （事实上，上面是利用“最大公约数对最小公倍数是分配的，最小公倍数对最大公约数也是分配的”这个性质） 故Sn，| 是一个分配格。 有界格 定义：设L,≤是格，若L中有最大元和最小元，则称L,≤为有界格。由于最大（小）元存在必唯一，故一般把格中最大元记为1，最小元记为0。 例：试判断下面哪些是有界格？ × √ √ 有补格 补元的定义：设L,≤是有界格，对于a?L，存在b?L，使得a?b=0，a?b=1，称b为a的补元，记为a。显然，若b是a的补元，则a也是b的补元，即a与b互为补元。 一般说来，一个元素可以有其补元，未必唯一，也可能无补元。 例：试判断下图中每个元素有无补元，若有，写出补元。 1,0显然互为补元；a的补