离散数学复习.pptVIP

* 练习题： 1、179页8 2、180页14 3、202页3 4、203页15，16，17，18 5、219页9 线乡题参咙姬起榆峡饿殷摹挚除窄怨醋鼓馅竹伍吕唱蓑塞应奉滚蛾夏醛平离散数学复习离散数学复习 * 练习题 1、设S3是S={1，2，3}上所有双射函数（也叫置换）构成的集合，o是S3上的复合运算， (1)给出其复合运算的运算表， (2)证明它是否是群 (3)证明它和?Z6，+6?是否同构 (4)若是群给出其所有子群 解： S3上能够构成3！个双射函数， F={f1,f2,f3,f4,f5,f6} 拨贮认巡窘订啦则傻军桂布骄涪兄灌府海点韩淬梭十命吟推套捕总杉伙倦离散数学复习离散数学复习 * 各章核心内容 数理逻辑部分 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 深刻理解等值式的概念 牢记基本等值式的名称及它们的内容 哥破量忆敦术蕴匿獭叮垒捆免丛隙鳃血圈瘦西掇赫幼管惮僵绽仓叫真妇狰离散数学复习离散数学复习 * 熟练地应用基本等值式及置换规则进行等值演算 理解文字、简单析取式、简单合取式、析取范式、合取范式的概念 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系 咒岔宜钵狗溢狂遏峦