2012-2013离散数学(B).docVIP

试题编号： 2012-2013学年第一学期 离散数学试卷（期末）（B卷）（闭卷） 题 号 一 二 三 四 五 六 七 八 九 十 总 分 得 分 评卷人 一、用等值演算法求命题公式的主析取范式，并根据主析取范式写出相应的主合取范式。（10分） 二、在命题逻辑自然推理系统P中构造下面推理的证明. （10分） 前提:. 结论:。 三、(14分)设A={a,b,c,d,e,f },R是A上的关系，R={a,b,c,d, e,f，f,a}。 （1）画出R的关系图； （2）讨论R是否具有自反，反自反，对称，反对称和传递等性质； （3）写出r(R)、s（R）、t(R)。 四、画出偏序集{1,2,3,4,5,6,10,15,30}、整除的哈斯图.并写出极大元、极小元、最大元和最小元(如果存在)。(10分) 五、在一阶逻辑自然推理系统F中构造下面推理的证明。(10分) 前提: 结论: 六、设R是A上的等价关系,且A/R={{1,2,3},{4,5},{6,7}},试求(1)A; (2)R 。(10分) 七、1. 命题“简单平面图的对偶图一定是简单平面图”是否正确。如果不正确，请举例说明 (4分) 2.命题“任意一棵非平凡树是二部图”是否正确，如果正确，请证明。(5分) 八.在通信中要传输字母a，b，c，d，e，f，g，它们出现的频率如下表1。 表1 字母 a b c d e f g 频率 25% 20% 15% 15% 10% 10% 5% 请利用最优二叉树设计一个传输上述字母的前缀码，并求传输10000个按上述频率出现的字母所需二进制字个数。(10分) 九、（1）命题“任意完全图都是欧拉图”是否正确？说明理由 (6分) (2) 若是哈密尔顿图，则和应满足什么条件？说明理由(6分). 10、(5分)证明：若群G中只有一个2阶元，则该二阶元一定与G中所有元素可交换。 离散数学试卷第 1 页 共 4 页