2012_2013离散数学(A).docVIP

PAGE  离散数学试卷第  PAGE 5 页 共  NUMPAGES 5 页 试题编号： 2012-2013学年第一学期 离散数学试卷（期末）（A卷）（闭卷） 题 号一二三四五六七八九十总 分得 分评卷人一、用等值演算法求命题公式的主析取范式，并根据主析取范式写出相应的主合取范式。（10分） 二、在命题逻辑自然推理系统P中构造下面推理的证明。（10分） 前提:。 结论:。 三、(14分)设A={a,b,c,d,e,f },R是A上的关系，R={a,b,c,d, e,f}。 （1）画出R的关系图； （2）讨论R是否具有自反，反自反，对称，反对称和传递等性质； （3）写出r(R)、s（R）、t(R)。 四、画出偏序集{1,2,3,4,5,6,10，12，24}、整除的哈斯图.并写出极大极小元。(10分) 五、在一阶逻辑自然推理系统F中构造下面推理的证明。(10分) 不存在不能表示成分数的有理数。无理数都不能表示成分数.所以,无理数都不是有理数。 六、设R是A上的等价关系,且A/R={{1,2},{3,4},{5,6,7}},试求(1)A; (2)R 。(10分) 七、1. 画出以（2，2，2，2，2，2）为度序列的不同构简单图2个。 (4分) 2.设无向树T有3个3度、2个2度顶点,其余顶点都是树叶,求T的树叶数。(5分) 八.在通信中要传输字母a，b，c，d，e，f，g，它们出现的频率如下表1。 表1 字母abcdefg频率30%20%15%10%10%9%6%请利用最优二叉树设计一个传输上述字母的前缀码，并求传输10000个按上述频率出现的字母所需二进制字个数。(10分) 九、（1）画一个奇数个顶点奇数条边的简单欧拉图（既是简单图又是欧拉图）(6分) (2) 画一个n（n≥3）阶简单哈密尔顿图，使得对任意不相邻的顶点的度数都满足. (6分) 10、(5分)设代数系统的运算表如表2所示。 表2 *abcdaabcdbbcbdccabcddacc(1)求出*运算的单位元和零元；(2)求出所有可逆元素的逆元。