离散数学(整理后).docVIP

《离散数学》 一、选择题（每题2分共10分） 1、无向连通图中各结点的次数为偶数是欧拉图的 条件。 A 充分 B 必要 C 充分必要 D 非充分非必要 2、设G=V，E为无向简单图，|V|=n，△（G）为图G中结点的最大次数，下 列 是正确的。 A △（G）n B △（G）≤n C △（G）n D △（G）≥n 3、设X，Y，Z是集合，下列结论不正确的是 。 A．若XY,则XY=X B．(X-Y)-Z=X-(Y∩Z) C． D． 4、在谓词演算中，P(a)是(xP(x)的有效结论，根据 规则。 A US B UG C ES D EG 5、设命题公式(（P∧（Q→(P））记做G，使G的真值指派为F的P，Q的真 值是 。 A T，F B F，T C T，T D F，F 二、判断题（每题2分，共10分） （1）命题公式(P∧(P→Q))→Q是重言式。 （ ） （2） （(x）（A（x）∧B（x））（(x）A（x）∧（(x）B（x）。 （ ） （3）图T是连通无向图且e=v-1，则该图是树。 （ ） （4）设A,B,C是三集合，已知AB＝AC，则一定有B＝C. （ ） （5） K5不是平面图。 （ ） 三、填空题（每空2分，共20分） (1) 设P天下雨，Q 我骑自行车上班，则命题“如果天不下雨, 我就骑自行车上班”符号化为 。 (2) 真值表中，一个公式的真值为T的指派所对应的 ，为此公式的主析取范式。 (3) 设G是有n个结点，m条边的连通图，要确定G的一棵生成树，必须删 去G的 条边。 (4) 已知A,B是集合│A│=15，│B│=10，│A∪B│=20，则│A∩B│ = 。 (5) 图的通路中边的数目称为 ，结点不重复的通路是 通路，边不重复的通路是 通路。 (6) 设G是4个结点的无向完全图，则从G中删去 条边可得到树。 (7) 在5个结点的二元完全树中，若有4条边，则它有 片树叶。 (8) 命题公式P→（P∨(P）的真值是 。 四、综合题（共60分） 1、将下列推理符号化并给出形式证明: 鸟会飞,猴子不会飞;所以,猴子不是鸟.A={1,2,3,4}，已知A上的关系R={1,1,3,3,4,4,1,2,2,3, 3,4},分别找出R的自反、对称和传递闭包。 （10分） 4、 求公式(P∨( Q)的主合取范式和主析取范式.…,6),其中V={a,b,c,d,e}, E1={(a,b),(b,c),(c,d),(a,e)} E2={(a,b),(b,e),(e,b),(a,e),(d,e)} E3={(a,b),(b,e),(e,d),(c,c)} E4={(a,b),(b,c),(c,a),(a,d),(d,a),(d,e)} E5={(a,b),(b,a),(b,c),(c,d),(d,e),(e,a)} E6={(a,a),(a,b),(b,c),(c,e),(e,d)} 问（1）哪些是强连通图，哪些是单向连通图，哪些是弱连通图？ （2）求G2和G6各结点的次数。 （10分）