离散5_test.doc

江苏技术师范学院20 —20 学年第 学期 《离散数学》试卷（5） 注意事项： 1．本试卷适用于 级计算机、信管、软件工程专业学生使用。 2．本试卷共5页，满分100分，答题时间120分钟。 题号 一 二 三 四 五 总分 得分 得分 评卷人 一、单项选择题（本大题共5道小题，每小题2分，共10分） 永假式的否定是（ ）。A.永真式 B.永假式 C.可满足式 D. A、B、C均有可能 设集合A={a,b,c},A上的关系R={a,a,b,b}具备下列性质（ ）。 A．等价性 B．自反性 C．反自反性 D．反对称性 Z是整数集合，代数系统Z，+的零元是（ ）。A. 0 B. 1 C. 0和1 D. 不存在 以下不正确的是（）。A．B. C. D．A. q? r B. q? r C. q?r D. r?q 得分 评卷人 二、填空题（本大题共10空，每空2分，共20分） A是一集合，|A|=20，|P(A)| = 。 设F(x)：x是鱼；G(x)：x会飞；则“鱼都不会飞”可符号化为： 。 在整数集合Z上定义二元运算，则Z上关于的单位元是____________。 集合A上的等价关系的三个性质是 、 和传递性。 P({a,b,c})= 。 无向树T有1个3度结点，2个2度结点，其余结点全是树叶，则该无向树T的树叶数为 。 无向图G是欧拉图当且仅当 。 群(Z6,+6)的所有子群： 。 一个图G有12条边，若每个结点的度均为2，则G有 个结点。 得分 评卷人 三、判断题（本大题共10小题，每小题1分，共10分）正确的打“√”，错误的打“×” （ ）空集仅是非空集合的子集。 （ ）设A，B，C为任意集合，则。 （ ）集合R上的关系满足自反性，则一定满足反自反性。 （ ）“前进！”这句话是命题。 （ ）在自然数集N上定义二元运算*：a*b=a+2b，*满足结合律。A={Ф},B=P（A） ,则有{Ф}B及{Ф}B 。 （ ）阿贝尔（Abel）群是交换群。 （ ）对集合A,B,C,D，有（AB） (CD) = (AC) (BD)。 （ ）命题公式不是重言式。 得分 评卷人 四、证明题（本大题共5小题，每小题各6分，共30分） 1．设A、B、C是三个集合，证明：(A－B)(A－C)=A－(BC) 2．设9阶无向图的每个顶点的度数为5或6,证明它至少有5个6度顶点或者至少有6个5度顶点。 3．符号化下述命题，并构造推理的证明。 若明天是星期一或星期三，我就有课。若有课，今天必须备课。我今天没备课。所以，明天不是星期一和星期三。 4．设B是任意集合，试验证P(B),(是群。其中，P(B)是B的幂集，(是对称差运算。 5、符号化下述命题，并构造推理的证明（个体域为全体人类组成的集合）。 非洲人都不怕热，玛丽怕热。所以玛丽不是非洲人。 得分 评卷人 五、计算、应用题（本大题共5小题，第1、2、3小题各6分，第4小题4分，第5小题8分，共30分） 设集合A＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系R＝｛〈x,y〉|x=2y｝，求(1)R,(2)R-1 求P(P→Q)的主析取范式及主合取范式。 求以1,3,4,5,6权为的最优2元树，要求写出步骤并计算它的权。 4．求谓词公式的前束范式 5．，为上关系，关系矩阵为， (1) 画出关系图。(2) 求R，。(3) 指出具有的性质。(4) R是偏序关系吗？画出哈斯图 1 《离散数学》试卷　　第 5 页 共 5 页 学号： 姓名： 班级： 线 订 装