离散数学期末复习大纲.ppt

文档介绍：,先用反向思维(从结论入手)分析问题,再按正向思维写出证明过程..全书知识网络:图论篇同构同构<{T,F},,,,,><p(E),~,∩,∪,-,>格与布尔代数半群,独异点,群,环,域<P(A×A),~,∩,∪,-,,,c,r,s,t><YX,~,∩,∪,-,,,-1>(注:标有*的内容,对网络学院学生不作要求)(含义及真值表定义).,,,*...(如P60题(2)):带量词的公式在论域内展开式,量词否定,量词辖域扩充,.(如P66题(3))*,幂集,全集,(包含,相等,真包含).*..,,,求逆及闭包运算(计算方法及有关性质),证明,求等价类和商集.*,简化图和简化矩阵,相容类,最大相容类,,会画Hasse图,会求一个子集的极小(大)元,最小(大)元,上界与下界,,会判断,(左复合),.*,了解集合的基数,可数集合..,,独异点,*环和*,子群,交换群(会证明),了解循环群.*6,子群的陪集,Lagrange定理及其推论,(会应用).*第七章格与布尔代数*,了解格的性质.*,分配格,有补格和布尔格,*(10个).*.(实质是第一章的主析取和主合取范式)...(特别注意相似的概念).(会应用),,强连通,,.*,掌握欧拉公式.*,,,完全m叉树的公式,会画最优树,*会设计前缀码..(含义及真值表定义).,,,*..,分别是:(1)否定“”(2)合取“∧”(3)析取“∨”(4)异或“”(5)蕴涵“”(6)等价“”要熟练掌握这五个联结词在自然语言中所表示的含义以及它们的真值表的定义。:否定表示“不”∧:合取表示“不但…,而且...”“并且”∨:析取表示“或者-可兼取的或”:异或表示“或者-不可兼取的或”:蕴涵表示“如果…,则...”:等价表示“当且仅当”“充分且必要”可以将这六个联结词看成六种“运算”。.