09-10年计算机离散数学试题1答案.docVIP

2009——2010学年第1学期 课程名称： 离散数学 使用班级：计算机、网络、信安08级本科 命题系别： 数学学院_______ 命题人：周磊 一 单项选择题(每小题2分，共28分) 1.B 2.C 3.A 4.C 5.D 6.B 7.A 8.A 9.B 10.D 11.C 12. B 13. D 14.B 二 填空题(每小题2分，共12分) 1. (x(F(x) (H(x) 2.{(,{a},{{b,c}},{a,{b, c}}} 3.D(S)={1,2,3}, R(S)={2,3,4} 4.么元: S 零元: ( 5. 6.[0]3, [1]3, [2]3 三. (8分) 由真值表 P Q R P(Q Q(R (P(Q)((Q(R) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 （4分） 主析取范式：m0(m1 ( m3 ( m7 （2分） 主合取范式：M2(M4 (M5 ( M6 （2分） 注：按推理得出结果不扣分。 四.(8分) （2分） 则前提公式为：P(Q (R，﹁S(P，Q 结论公式为：S(R （2分） ① S P规则(附加前提) ② ﹁S(P P规则(引入前提) ③ S (P T规则，②，E14 (1分) ④ P T规则，①③，I3 (1分) ⑤ Q P规则(引入前提) ⑥ P(Q T规则，④⑤，合取式 (1分) ⑦ P(Q (R P规则(引入前提) ⑧ R T规则，⑥⑦，I3 (1分) ⑨ S(R CP规则 （注：前提结论的提取可能不同，只要正确表明题意，推理正确，不扣分；推理的原因（上述右边的备注）可不写，推理过程也可不同，只要推理正确，不扣分） 五.(8分)(10分) 15 2 3 1 (4分) (2). A的最大元：30 最小元：1 (2分) (3). 上界：6，30 下界：1 最小上界：6 最大下界：1 (4分) 七.(5分)?1={2, 1 ,3,2,4,2,3,3} (2分) R1· R2={1,2,1,3,2,4,3,4} (3分) 八.(8分)(8分) (2分) (2). 则v1到v2长度为3的路径有2条.(2分) (3). (2分) G的强分图顶点集为：{v1}，{ v2, v3, v4} (2分) 十.(5分) 试 题 答 案 - 3 -