2010莆田学院离散数学公选B.docVIP

莆田学院公选课期末考试试卷 （B）卷 2010 —— 2011学年第 一 学期 课程名称： 离散数学 试卷类别 开卷（ ）闭卷（√） 考试用时： 90 分钟 《考生注意：答案要全部抄到答题纸上，做在试卷上不给分》 一、 24分 按要求完成下列各题 1、 2分 设。：大熊猫产在中国。：太阳从西方升起。复合命题： 1 ， 2 确定上述命题的真值。 2、 4分 设上的关系， 1 画出的关系图； 2 说明的性质。 3、 6分 一棵无向树T有5片树叶，3个2度分支点，其余的分支点都是3度顶点，问T有几个顶点？，，，，，，，已知命题公式A中含3个命题变项并知道它的成赋值分别为0，01，11，求A的主取范式求A的主合取范式。在一阶逻辑自然推理系统F中构造下面推理的证明，在上定义二元关系： ， 1、证明是上的等价关系。 2、求由确定的的商集。 六、（22分）回答下列问题欧拉图1、 4分 彼得松图是欧拉图吗？为什么？ 2、 8分 以适当的方式说明下列各图是否为平面图 3、（5分）证明下列图中， a 图不是哈密顿图，但是半哈密顿图；而 b 图是哈密顿图。 4、（5分）上题中的图是否为欧拉图？ 试卷第 2 页 共 2 页 试卷第 1 页 共 2 页