2017-2017离散数学(A).docVIP

试题编号： 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分) 八.在通信中要传输字母