2016-2017学年第一学期南昌大学考试试卷标准格式(离散数学A)

—南 昌 大 学 考 试 试 卷—

【适用时间：20 16 ～20 17 学年第 一 学期 试卷类型：[ A ]卷】

课程编号： J8020G0002 试卷编号： B1002 课程名称： 离散数学 教 师 开课学院： 软件 软件工程(本)15级 考试形式： 考试时间： 闭卷 120分钟 填 适用班级： 写 栏 试卷说明： 1、本试卷共 5 页。 2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。 题号 题分 得分 一 20 二 15 三 45 四 20 五 六 七 八 九 十 总分 累分人 100 签 名 考生姓名： 考生学号： 所属班级： 考试日期： 考 所属学院： 生 所属专业： 填 写 栏 考 生 须 知 考 生 承 诺 1、请考生务必查看试卷中是否有缺页或破损。如有立即举手报告以便更换。 2、严禁代考，违者双方均开除学籍；严禁作弊，违者取消学位授予资格； 严禁自备草稿纸、携带手机试、携带小抄等入场，违者按考试违规处理。 本人知道考试违纪、作弊的严重性，将严格遵守考场纪律，如若违反则愿意接受学校按有关规定处分！ 考生签名： 第 1 页 共 5 页

得 分 一、填空题：（每空 2分，共 20 分） 1、使得公式q∧(p→q)→p成假的赋值是： 。 评阅人 2、公式?x(P(x)?Q(x,y))??z(R(z,y))的约束变元为________，自由变元为_______。 3、设A={4,2,l}，B={5,l,3}，则B-A=________，B⊕A=_______。 4、设A=?1,2,3,4?，A上二元关系R定义为：R=??1,2?,?2,1?,?2,3?,?3,4?? s(R)= 。 5、设A={2,3,4,5}，a * b =max(a, b)。代数系统的幺元是 ，零元是 。 6、设无向树T有3个度数为3的结点，其余结点都为树叶，则T的结点数为________。 7、若一条路中，所有的__ __均不相同，称为迹。 得 分 二、选择题：（每题 3分，共 15 分） 1．下列句子不是命题的是（ ） ．．A．中华人民共和国的首都是北京 C．雪是黑色的 A．p → q B．q →p B．张三是学生 D．太好了！ C．┐p → q D．q → ┐p 评阅人 2．设p：天下雨；q：我走路上学。命题“只要不下雨，我就走路上学”可符号化为（ ） 3．下列关系矩阵所对应的关系具有反对称性的是（ ） ?101??100??001??101???011??001??010?011A．? B． C． D．???????? ?????100???101???100???100??4.﹤A，≤﹥是一个偏序集，其中A是正整数l2的正因子的集合，≤为整除关系，元素6能盖住元素（ ） A．1 B．3 C．6 D．12 5．下列图是欧拉图的是（ ） 三、综合题：（每题9分，共45分） 第 2 页 共 5 页

得 分 评阅人

1、求命题公式(p∧q)∨(p∧r)的主析取范式，并求命题公式的成真赋值。 2、证明：r→?q，r∨s，s→?q，p→q??p 3、设A=?1,2?，求：A×P(A) 第 3 页 共 5 页