离散数学模拟卷2.docVIP

PAGE 1 PAGE 4 《计算机数学基础》离散数学试题 之五 (2002、7、13已用) 2000、8 一、单项选择题(每小题2分，共10分) 1. 命题公式为 ( ) (A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式 2. 设C(x): x是国家级运动员，G(x): x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( ) 3.设集合A={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( ) (A) 1?A (B) {1,2, 3}?A (C) {{4,5}}?A (D) ??A 4. 设A＝{1,2},B={a,b,c},C={c,d}, 则A×(B?C)= ( ) (A) {1,c,2,c} (B) {c,1,2,c} (C) {c,1c,2,} (D) {1,c,c,2} 5. 如第5题图所示各图，其中存在哈密顿回路的图是 ( ) (A) ? (A) ? (B) ? ? (C) ? ? (D) ? ? ? ? ? ? ? ? ? ? ? ? ? ? 第5题图 二、填空题(每小题3分，共15分) 6. 设集合A={?,{a}}，则A的幂集P(A)= a? ?b f? ?c e? ?d 第8题图 a? ?b f? ?c e? ?d 第8题图 8.图G如第8题图所示， 那么图G的割点是 9. 连通有向图D含有欧拉回路 的充分必要条件是 . 10.设X＝{a,b,c}，R是X上的二元关系，其关系矩阵为 MR＝，那么R的关系图为 三、化简解答题(每小题8分，共24分) 11. 简化表达式. 12. 设代数系统(R*, ?)，其中R*是非0实数集，二元运算?为：?a,b?R, a?b=ab. 试问?是否满足交换律、结合律，并求单位元以及可逆元素的逆元. 13. 化简布尔表达式. 四．计算题(每小题8分，共32分) 14. 求命题公式的真值表. 15.试求谓词公式中，?x,?x,?y的辖域，试问R(x,y)和A(x,y)中x,y是自由变元，还是约束变元？ 16.设R1是A1＝{1,2}到A2＝(a,b,c)的二元关系，R2是A2到A3＝{}的二元关系， R1= {1,a,1,b,2,c}, R2={a,?,b,?} 试用关系矩阵求R1?R2的集合表达式. 34 3 4 10 7 9 9 7 12 6 8 5 v1 v2 17 图 17 图G如第17题图 求图G的最小生成树. v5 v6 13 13 v8 v7 v4 v3 第17题图 五、证明题(第18题10分，第19题9分) 18. 证明 19. 设G为9个结点的无向图，每个结点的度数不是5就是6，试证明G中至少有5个度数为6的结点，或者至少有6个度数为5的结点. 《计算机数学基础》离散数学试题 之五解答 2000、8 a a? ?c