06离散数学试卷B答案.docVIP

《 离散数学 》课程试卷(B）参考答案及评分标准　　　第 PAGE 1 页 共 4页 中国计量学院200 8 ~ 200 9 学年第 1 学期 《 离散数学 》课程 试卷（ B ）参考答案及评分标准 开课二级学院： 理学院 ，学生班级：　06信算1，2班 ，教师： 赵建伟 一．选择题：（每题3分，共15分） 1．B 2. B 3. C 4. C 5. C 二. 填空题（每空2分，共16分） 1. 2. 3. 4. 5. 2 6. 7. 1 8. 5 三．计算题（本题14分） 用等值演算法判断公式的类型. 解 ………………………………………………….4分 …………………………………………………….6分 …………………………………………….…….8分 …………………………………………...10分 ………………………………………………………...12分 ,可见公式是重言式……………………………………………..…………….14分 四．（本题12分）在自然推理系统P中构造下面推理的证明: 前提: 结论: 证明： ① 附加前提…………………………………….2分 ② 前提引入 …………………………………….3分 ③ ①，②假言推理 …………………………….5分 ④ 前提引入 …………………………………….6分 ⑤ ③,④假言推理 ……………………………….8分 ⑥ 前提引入 ……………………………………...10分 ⑦ ⑤,⑥假言推理 …………………………….12分 五．（本题12分）设集合={0,1,2}，定义上的二元关系为： .试写出二元关系的集合表达式，并证明具有自反性和对称性,不具有传递性． 证明: 因为,所以 R＝IA?{0,1,1,0,0,2,2,0}…………………………………..……….4分 (1) 因为,所以具有自反性. ………..……………………………………………………………………..……….6分 (2)因为＝{0,0,1,1,2,2,1,0,0,1,2,0,0,2}=, 所以具有对称性. .……………………………………………………………….9分 (3)因为, 所以不具有传递性…………………………………………………………………..……12分 六．（本题13分）设Z为整数集,在Z上定义二元运算*如下: ,证明整数集Z关于*运算构成群. 证明: (1) 因为 所以从而“”是Z上的二元运算………………………………………………………………………………..…..3分 (2) 因为所以整数集Z关于运算*具有结合律……………………………………………………..……………………….. 6分 (3) 由于 所以 5是Z的单位元…………….9分 (4)由于且所以元素是元素的逆元………………………………………………………………………….………..13分 七．（本题18分）设无向图，其中， 的权值依次为5，2，1，2，6，1，9，3及8． （1）画出的图形； （2）写出的关联矩阵； （3）求出中权最小的生成树及其权值． 解. (1) 的图形为 ………………………………………………………………………………………..5分 (2) 的关联矩阵 ………………………………………………………………………………………..10分 (3) 中权最小的生成树为 …………………………………………………………………………………..…..15分 且它的权值为 12 ………………………………………………………………..18分