C离散课程总结计科信管网络.pptVIP

2001 * * 离散数学课程总结与习题课 一. 集合的表示, 关系 与运算 求下列集合的幂集P(A): (1) (2) 题1 二. 整数的整除与同余 带余除法; 最大公因数; 最小公倍数; 同余 题2 求288与132的最大公因数与最小公倍数. 三. 有限集合中元素的计数 设A={x,y,z},　B={1,2,3}. 题3 计数公式:容斥原理 ; 补集的计数 特殊集合的计数: 集合A上的子集有多少个? 集合A到集合B的二元关系有多少? 集合A到集合B的函数有多少? 集合A上的等价关系有多少? n个结点的简单图有多少? A到Ｂ的二元关系有几个？ A到Ｂ的函数有几个？ 题4 求在1到100之间不能被2和3整除的整数个数。 四. 命题公式（谓词公式）与自然语言的互译 题5: 用谓词、量词将下列命题符号化: (1)有些同学喜欢玩各种游戏. (2)如果张飞去打仗,关羽就去打仗. 五.　命题公式的真值表及其主合取（析取）范式 题6:求下列命题公式的主合取(析取)范式: (?p∨q) ∧(q ? r) 题7: 构造两个不同的解释,使公式 (? x) (? y) P(x, y )有不同的真值. 六. 　谓词公式的解释与真假 在一个限定的个体域对谓词函数进行解释 题8: 给定解释如下： D={2，3，4}，R (x):x是偶数；S(x): x是素数. 求(? x)（P(x) →S(x))与(? x)(P(x) ∨ S(x ) ) 的真值. 七. 　命题逻辑与谓词逻辑的演绎 题9: 符号化下列命题，并用演绎法加以证明：如果6是偶数，则2不能整除7；或者5不是素数，或者2整除7；5是素数。因此，6是奇数。 题10: 证明下列推理: ?p∨q, ? q ∨ r, r? s p ? s 题11: 题12: 八. 　函数与关系的表示 集合法；　矩阵法；　图示法 题13: 写出从A={ x, y, z }到B={ a , b }的所有函数. 题14: 写出从A={ x, y, z }到B={ a , b,c }的所有双射函数. 九.　关系的性质与运算 自反性；对称性；传递性；反自反性；反对称性 关系的并运算,逆运算, 复合运算 题15: 在集合A={1,2,3}上构造具有各种性质的关系. 题16: 集合A={1,2,4,6}上的关系 R={x,y︱ x+y ∈A } , 求R 所具有的性质 . 十.　关系的闭包 题17. 设P={P1, P2, P3, P4}是程序集, R={ P1 , P2, P2 , P1, P2 , P3, P3 , P4 } 是P上的调用关系, 求 (1) r(R); (2) s(R); (3) t(R) . (1) 自反闭包 r(R) (2) 对称闭包 s(R) (3) 传递闭包 t(R) =R∪IA =R∪R-1 =R∪R2 ∪R3 ∪R4… 十一.　等价关系 题18: 设A={1,2,3,4,5,6}, 写出A上的一个等价关系R , 使得商集 A/R={{1,2,3},{4},{5,6}}. (2) 写出一个A上的等价关系R,并求由R确定的A上的划分. 等价关系的定义；等价类的确定； 划分与等价关系的相互转换 (3) 写出A上的一个划分,并求由该划分诱导的等价关系. 十二.　偏序关系 题19. 设A={a, b, c, d }, R={a , a,b, b,c , c,d , d,b, a,d , a,a , c, b , c,d , c} (1) 画出R的关系图; (2) 证明R是A上的偏序关系; (3)画出R的Hasse图. 题20. 设A={a, b, c, d , e } , 偏序集A,R的Hasse图如下图所示, 求关系R. 偏序集的定义；Hasse图；偏序集的特殊元素 a b c d e 十三. 　图的结点数，边数，度数之间的关系 握手定理；　树的边数与结点数的关系; 平面图的Euler公式; 平面图的握手定理 题22: 一棵树有两个结点度数为2，一个结点度数为3，三个结点度数为4，问它有几个结点度数为1. 题21: 设无向图G中有12条边, 有3个结点度数为6, 其余结点度数均为3,求G中结点的个数n . 十四.　图的矩阵表示 题23. 求下图的邻接矩阵A, 并找出从v1到v4长度为2 和4的所有通路；用计算A2 , A3 , A4 来验证你的结论. v3 v2 v1 v4 题24. 求下图的邻接矩阵A, 并找出从v3到v4长度为3的所有通路