离散数学 复习资料.pptVIP

2、 前提：?(p?q)?r, r?s, ?s, p 结论：?q 证明 用归缪法 ① q 结论否定引入 ② r?s 前提引入 ③ ?s 前提引入 ④ ?r ②③拒取式 ⑤ ?(p?q)?r 前提引入 ⑥ ?(p?q) ④⑤析取三段论 ⑦ ?p??q ⑥置换 ⑧ ?p ①⑦析取三段论 ⑨ p 前提引入 ??p?p ⑧⑨合取 4、 在自然推理系统中构造下面推理的证明, 任何自然数都是整数. 存在自然数. 所以, 存在整数. 第二部分 练习 2、设A={a,b,c,d}, R={a,b,b,a,b,c,c,d,d,b}, R和r(R), s(R), t(R)的关系图如下图所示. 3、设R是A上的二元关系， 设 S = {a,b | ?c(a,c?R?c,b?R)}. 证明如果R是等价关系，则S也是等价关系。 4、设偏序集 A, R 的哈斯图如图所示. (1) 写出A和R的集合表达式 (2) 求该偏序集中的极大元、极小元、最大元、最小元 第二部分 练习 集合5种运算 二元关系的5种性质 闭包运算 等价关系证明 偏序关系哈斯图，特殊元素 函数的复合 掌握半群,独异点,群的概念 熟练掌握群的阶和元素的阶的概念及群的性质 第三部分 练习 1、设Z为整数集合，在Z上定义二元运算○如下： x○y= x+y-2，问Z关于○构成什么代数系统。 解： ○运算在Z上封闭，满足交换律，结合律， 设单位元为e，有x+e-2=e+x-2=x，解得e=2, 设逆元为x-1，有x+x-1-2= x-1+x-2=e=2，解得x-1=4-x 所以运算在Z上构成交换群。 2、设G为群，a是G中元素，子集N(a)={x|x∈G ∧xa=ax}， 证明N(a)是G的子群。 证明：因为ea=ae，所以e∈N(a)，所以N(a)非空 任取x,y∈ N(a)，即xa=ax， ya=ay ?a-1y=ya-1 xy-1a=x(a-1y) -1=x (ya-1) -1=x(ay-1)=(xa)y-1=(ax)y-1=axy-1 由子群判定定理二可知 N(a)是G的子群 3、设G为模12加群，求群G的所有子群。 解：G={0,1,2,3,4,5,6,7,8,9,10,11}=1是12阶循环群， 12的正因子d分别为1,2,3,4,6,12 d阶子群，为an/d 1阶子群，为112/1= 112={0} 2阶子群，为112/2= 16={0,6 } 3阶子群，为112/3= 14={0,4,8 } 4阶子群，为112/4= 13={0,3,6,9 } 6阶子群，为112/6= 12={0,2,4,6,8,10 } 12阶子群，为112/12= 11=G 第四部分 图论 1.掌握图的基本概念 2.熟练掌握图中关于结点度数的定理. (会应用) 3.会求图的邻接矩阵. 4.会判定欧拉图. 5.掌握树的基本定义,v和e间的关系式.会画生成树,会求最 小生成树.根树的概念,会画最优二叉树, 离散结构总复习 2014 第一部分 数理逻辑 1. 5种联结词，命题符号化. 2. 命题逻辑里的等价公式和永真蕴涵式. 3. 会写命题公式的范式（主析取，主合取）. 4. 熟练掌握命题逻辑三种推理方法. 5. 谓词逻辑里的等价公式和永真蕴涵式： 带量词的公式在论域内展开式,量词否定,量词辖域扩充, 量词分配公式. 6. 会求谓词公式的真值. 7. 会写前束范式. 8. 熟练掌握谓词逻辑推理. 第一部分 练习 1、求公式(P∨Q)?R的主范式 方法一：真值表 方法二：等值演算 (P∨Q)?R ?(?P∧?Q∧?R )∨(?P∧?Q∧R )∨(?P∧Q∧R) ∨(P∧?Q∧R )∨(P∧Q∧R ) ? m0 ∨ m1 ∨ m3 ∨ m5∨ m7 主析取范式 ?(P∨?Q∨R )∧(?P∨Q∨R )∧(?P∨?Q∨R) ? M2 ∧ M4 ∧ M6