2010年度1月离散数学模拟练习.docVIP

宁波大红鹰学院 2009-2010学年第一学期 2008级计算机科学本科《离散数学》模拟练习 重要说明 分值大致分布：逻辑30分，集合论30分，图论30分，代数及递推10分 题型：填空20分十小题，选择30分十五小题，解答45分九小题，证明5分一小题 主要内容： 逻辑（第一章）命题定义；复合命题符号化；命题公式的类型；24等值式；主析取范式和主合取范式；推理定律 解答题：利用等值演算求公式类型或求主析取范式；构造推理的证明 （第二章）量词的符号化；代替规则与换名规则；一阶逻辑等值式 集合论（第三章）幂集，对称差，集合恒等式，不多于三个集合的包含排斥原理 解答题：集合的基本运算，集合恒等式的证明 （第四章）笛卡尔积，二元关系，整除关系，关系矩阵；幂运算，关系的性质，闭包；等价关系，偏序关系，整除关系的哈斯图，最元，极元；双射 解答题：用矩阵的算法求关系的复合运算与闭包运算 抽象代数（第五六章）单位元，零元，逆元；同态、同构；群的定义，交换群，循环群 解答题：判断某一代数系统是否为群 图论（第七章）度数，握手定理，简单图，完全图，补图；有向图的连通性，割集；有向图的关联邻接可达矩阵，最短路和关键路径 解答题：邻接矩阵的幂运算及其元素的含义 （第八章）二分图欧拉图汉密尔顿图的定义；平面图及欧拉公式。本章无解答题 （第九章）无向树的定义及最小生成树，哈弗曼算法，前缀码，根树及其遍历 解答题：哈弗曼算法求最优树及其应用 组合分析初步（第十章）递推方程的求解 下列题供复习参考使用，比考试题量更大 一．填空题（每题2分） 1．含个命题变项的的主合取范式为。) 2．〈，〉模4加群， 则3是 阶元，33= ，3的逆元是 。5．根据右图所示哈斯图，写出该偏序关系R的集合表达式， R＝____________________________________________________； 子集{2,3,4,5}的上界是__________。 6．设S是非空有限集，代数系统（P(S),∪,∩）中，P(S)对∪运算的么元是______________，P(S)对∩运算的么元是___________。 7．无向图G中有6条边，3度与5度顶点各1个，其余的都是2 度顶点，则图G中共有_________个顶点。 8. 无向图G如右图所示，则图G的 割点为_______________；割边为______________。 9.已知n阶无向简单图G有m条边，则G的补图有条边。 13.谓词公式x(P(x,y)∧ tQ(t,z)→R(x,y,t))中量词的辖域是 ___________________。 14.设F(x):x是人，G（x）：x思考，H(x,y):x与y一样高，L（x）：x喜欢吃粗粮。在一阶逻辑中，命题“所有人都思考”的符号化形式为_______ ___。命题“不是所有的人都爱吃任何粗粮”的符号化形式为_______ ___。命题“人都不一样高”的符号化形式为_______ ___。 15.从公式分类角度来看，它为__________式。 16.设R={2，2,1,2,2,3}，则R的对称闭包是 。 17.设A,B是集合，　　 18．整数加群Z,+是循环群，其生成元是　　　和　　　　。 19.一棵二叉树先序遍历得ABDECF，中序遍历得DBEACF,则后序遍历的结果是________________。 20.完全二部图有　　　个顶点　　　条边。 二．选择题（每题2分） 1．判断下列语句哪一个是命题：（ ）。 A．请把门关上！ B．你喜欢鲁迅的作品吗？ C．我在说谎 D．雪是黑色的。 2．命题公式P→(Q→P)为（ ）。 A．重言式 B．可满足式 C．矛盾式 D．等价式 3．若个体域为整数域，下列公式中（ ）为假。 A．(x(y(x+y=0) B．(y(x(x+y=0) C．(x(y(x+y=0) D．┐(y(x(x+y=0) 4．设A，B，C为任意三个集合，下列命题正确的是（ ）。 A．若A∪B=A∪C，则B=C B．若A∩B=A∩C，则B=C C．若~A∪B=E，则A(B D．若A－B=(，则A=B 5．判断下列集合中对所给的二元运算不封闭的是（ ）。 A．整数集合Z上的普通加法运算； B．非零整数集合上的普通除法运算； C．设A={a1,a2,…,an}，n≥2，(a,b(A，a*