2016离散复习练习题汇编.doc

（四） 一、判断题（每题1分，共10分） 1.在命运题逻辑中，任何命题公式的主合取范式都是存在的，并且是惟一的。 （ ） 2. 011是公式的成真赋值 ( ) 3. ( ) 4. （ ） 5.三种重要的二元关系是等价关系、偏序关系和函数关系，它们的共同特点是都具有自反性 。 ( ) 6. 设F,R都是二元关系,则(F·R)-1=F-1·R-1。　　　　　　　( ) 7.设n是任意一个正整数,则一定存在阶是n的群. ( ) 8. 布尔代数是有界格,也是分配格. ( ) 9.无向完全图（n2）一定是哈密顿图 ( ) 10.阶数至少是2 树的每一条边都是桥,因而它的 边连通度是1. （ ） 二、空题（每小题２分，共２０分） 1. 谓词公式x(P(x,y)∧ tQ(t,z)→R(x,y,t))中量词的辖域是 ___________________。 2.设F(x):x是人，H(x,y):x与y一样高，在一阶逻辑中，命题“人都不一样高”的符号化形式为_______ ___。 3.从公式分类角度来看，它为__________式。 4.设R={1,1,1,2,2,3}，则R的对称闭包是 。 5.设A,B是集合，　　 6.，〉模加群， 则是 。4= 7．整数加群Z,+是循环群，其生成元是　　　和　　　　。 8.设是偏序集,如果_________ ____, 则称是(偏序)格。 9.一棵二叉树先序遍历得ABDECF，中序遍历得DBEACF,则后序遍历的结果是________________。 10. r=5,当s= 时，完全二部图才可能存在完美匹配。 。 三、计算题（1-4题每题8分；5-6题每题10分，共52分） 1.R1={1,2,2,1,2,3,3,2},R2={2,2,2,3,3,1} 求：(1) R1-1 (2) R1·R2 (3)R22 (4)t(R1)(传递闭包) 2．设G=，G上的运算是矩阵乘法。已知G构成群。 （1）指出个元素的阶； （2）找出G的全部子群； （3）在同构的意义下G是4阶循环群还是Klein四元群？ 3.(1)在一棵有2个2度顶点，4个3度顶点，其余顶点都是树叶的无向树中应该有几片树叶？ (2)画出两棵非同构的满足上述条件的无向树　。 4.设A,R为一个偏序集，其中，A={1，2，3，4，6，9，24，54},R是A上的整除关系。 （1）画出的哈斯图； （2）求A的极大元和极小元； （3）求B={4,6}的上确界和下确界。 5.求公式的主和取范式(化成M1M2M3的形式)。 ６．画一棵带权为2，2，2，3，3，4，5，8的最优二叉树T，并计算它的权W（T）。 四、证明题（每小题6分，共18分） 1.前提： 结论: 2.定理（子群判别法1)设H是群G，的非空子集，则HG当且仅当 　(1)a，b∈H， ab∈H； 　(2)a∈H，a－1∈H。 利用上述定理证明：设H是群G，的非空有限子集。若H关于封闭，则H是G的子群。 3.用数学归纳法证明n阶无向树T有n-1边。 （五） 一、选择题（每小题 2分，共 20 分。请将答案填在下面的表格内） 1、命题公式为() ? A.永真式、矛盾式?????? ?? 　　B. 永真式、可满足式、矛盾式? C. 可满足式、矛盾式??? 　????D. 永真式、可满足式? 2、等值于?(???) A.? ?B. C.? ?D. 3、S,T,M是集合，下列结论正确的是（???? ） A．S∪T=S∪M，则T=M B．S-T=Φ，则S=T C． D． 4、设R是集合A上的偏序关系，则R不一定是() A.自反的 ??B. 对称的 ?C. 反对称的D. 传递的 5 设R为实数集，定义R上4个二元运算，不满足结合律的是（ ）。 A. f1(x,y)= x+y B. f2(x,y)=x-y C. f3(x,y)=xy ?D. f4(x,y)=max{x,y} 6、设是则不(???) A.交换律?? ??B. 结合律? ?