离散总复习课件.pptxVIP

离散数学基础 （电子版） fundamental of （Discrete Mathematics;总复习 ;数理逻辑：研究一种形式语言，其本质是将 数学中的逻辑证明加以符号化，因而推动各 数学分支的迅速发展。;\ k先级: 診否定—I 局 畛合取析取：V ■条件；双条件：湼.低 翻译提示：;1、 只有你主修计算机科学或者不是新生，才能从校园内 访问因特网。 2、 除非你日满16周岁，否则只要你身高不足4英尺就不 能乘公园滑行铁道。 3、 只要充分考虑一切论证，就能得到可靠见解。 4、 只有充分考虑一切论证，才能得到可靠见解。 5、 /我们不能既唱歌又看书。 6、 如果天下雨，我岀不出去看你是否同意而定。 7、 我唱歌，仅当你伴奏。 8、 或者你没有给我写信，或者信在路上丢失了。 9、 如果天下雨，我就在家看书，否则我就去看电影。 10、 只有你考试不及格或者缺考，才能参加补考。 11、 除非你缺考，否则只要你考试不满60分就必须参加 补考。;推理理论;第二章谓词逻辑 ㈡原子命题拆成：客体+谓词 目全称雷司：“V”，存在量词：“丁‘ 翻译注意： ■ ___ 已特性谓词的位置：在全称量词的作用域内作条件 句的前件，在存在量词的作用域内作合取项。 / K 1、所有的人都犯错误。 T 2、有且仅有一个偶质数。 3、 有些人对所有酒都感兴趣。 4、 所有的人都对某些酒感兴趣。 5、 尽管有人可恶，但并不是所有的人都可悪。 6、 对于任意实数，存在更大的实数。 7、 某些火车比所有飞机慢，但至少有一架飞机比所有火车快。 8、 并非所有的人都喜欢喝酒。;量化断言与命题的关系\ 假设个体域D={a1ta2, an} (Vx) (P 阶=P(a〔)A P(a2) A ...A P(an) (3 x)(P(x)) o P(a〔) V P(a2) V ... V P(an) 谓/演算的推理理论 消去、添加量词规则 全称指定US全称推广UG存在指定ES存在推广EG 作谓词梱co m -不能在量词的作用域内使用等价式和蕴含式 ?在同一证明中，若既要使用存在指定，乂要使用全称 指定，则先用存在指定，后用全称指定。;谓词推理理论;— ZZiZl 弟二早;关系的性质 \ 自反、对称、传递、反自反、反对称 关系性赢勺证明方法： 可要证明R在X上自反 /假设VxEX ,证出 x,xeR 2 /要证明R在X上对称 对X/x, y EX,???vx,y￡R ,证出 y, x R 要证明R在X上传递 对Vx, y, zex,设vx,y《R Av y, z ER ,证出 x,zeR K要证明R在X上反自反 假设Vxex,证出dx,x^R ) 以要证明R在X上反对称 对》x, y^X,设vx,ywR/\v y, x CR ,证出 x = y;关系的的运算:;1、 设R是集合X上的一个自反关系。则R是对称和传递 的，当且仅当a,beRAa,ceR,有vb,c在R之 中° , 2、 若关系R和S在集合X上是等价的，证明R1S也是等 价的。 3、 如果关系R在集合X上是等价的，证明舟也是等价的。 4、 设R是集合A上的等价关系，则对于所有a,b gA ,或 者[a]R=[b]R 或者[a]RA[b]R=0o 5、 设集合A有一个划分S={Sl,S2,...,Sm},试由此划分 确定一个等价关系。 6、 设S是X上的二元关系，S是传递的当且仅当S?SwS。 7、 设R是X上的二元关系，贝山 a) R是对称的，当且仅当1=1^ b) R是反对称的，当且仅当R A R c c lx;第四章函数 畛函数的概念 岛入射、满射、双射 ￡逆函数(当f是双射函数时逆函数才有意义。) E复合函数(注意写法与关系的复合不同。) ￡求9。(:时，若ranf不包含于domg,则gof为空 1、 令gof是一个复合函数，则 ⑴若g和f是满射的，则gof是满射的； (2) 若g和f是入射的，则gof是入射的； (3) 若g和f是双射的，则gof是双射的。 2、 令gof是复合函数，则 ⑴若gof是满射的，则g是满射的； (2) 若gof是入射的，则f是入射的； (3) 若gof是双射的，则g是满射的，f是入射的。;第五章代数系统;证明a是b的逆元？ a ?b= b ? a =e 例如：(a * b)-1=b_1 * a-1 E群中满足消去律 目群中不可能有零元。 四任何一个循环群必定是阿贝尔群。 R群vG,*＞中的幺元e必定也是其子群vs,*＞中的幺元。 勺子群的判定定理：当S是有限集：*在，上封闭 / 当S是无限集：Va, b￡S, 有 a*b-i e S 目任何质数阶的群必定是循环群。 陪集与拉格朗日定理 设vH, W是群＜G