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

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