西安建筑科技大学《离散数学》2020-2021学年期末试卷.pdfVIP

西安建筑科技大学 2020-2021学年第二学期 《离散数学》期末试卷 一、选择题 （本大题共10 小题，每小题2 分，共20 分.） 1.若集合S 的基数|S|=5，则S 的幂集的基数|P(S)|= （ ） A.8 B.16 C.32 D.64 2.判断下列命题哪个为真? （ ） A. A-B=B-A = A=B B. 空集是任何集合的真子集 C. 空集只是非空集合的子集 D. 若A 的一个元素属于B，则A=B 3. 设集合A={1,2,4,7,14,28}，≤为A 上的整除关系，子集B={2,7,14}，关于其哈斯图中元 素的描述，正确的是 （ ） A. B 的极大元是14，没有极小元 B. B 的极大元是14，极小元是2 和7 C. B 的极大元是14，极小元是2 和1 D. B 的极大元是14，极小元是7 和1 4. 以下关于关系闭包运算不成立的是 （ ） A. r(R∪S)=r(R)∪r(S) B. s(R∪S)=s(R)∪s(S) C.t(R∪S) t(R)∪t(S) D.t(R)∪t(S)t(R∪S) 5. 下列公式中哪些是不是永真式？ （ ） A.(┐PQ)→(Q→R) B.P→(Q→Q) C.(PQ)→P D.P→(PQ) 6. 偏序关系中的盖住关系的描述中，正确的是 （ ） A. 每个元素均至少被一个其他元素盖住 B. 每个元素均恰好被一个其他元素盖住 C. 每个元素可以没有被任何其他元素盖住 D. 每个元素均必须至少盖住一个其他元素 7.以下关于谓词公式xF(x,y)y(G(x,y)H(x,z))中变元的描述中，正确的是 （ ） A. x 是自由变元 B. y 是约束变元 C. z 是自由变元 D. z 是约束变元 8.设N(x)：x 是自然数，P(x)：x 是素数。则命题 “有的自然数是素数”可符号化为 （ ） A. (x)(N(x)∧P(x)) B.(x)(N(x)P(x)) C. (x)(N(x)∧P(x)) D.(x)(N(x)∨P(x)) 9.设G 是一个哈密尔顿图，则G 一定是 （ ） A. 欧拉图 B. 树 C. 平面图 D.连通图 10. 下列不一定是树的是 （ ） A．无回路的连通图 B．有n 个结点，n-1 条边的连通图 C．每对结点之间都有通路的图 D．连通但删去一条边则不连通的图 二、构造命题公式的真值表，并求其主析取范式 （本题共2小题，每小题4分，共8分） . 1.P→(R∧(Q→P)) 2. (P→(Q∧R)) ∧(﹁P→(﹁Q∧﹁R)) 三、计算题 （共12 分） 有向图D 邻接矩阵如下 (1)画出有向图D，求到长度为1，2，3，4 的通路数； (2)求到长度为1，2，3，4 的回路数； (3)求D 中长度为4 的通路数； (4)求D 中长度小于或等于4 的回路数； (5)写出D 的可达矩阵。 四、证明题 （本题共2小题，每小题15分，共3 分.） 0 1. 设 A = {a,b|a,b Î N}，定义A上的一个二元关系 R {a,b,c,d |ad bc } 证明： 是 上的等价关系 R A 2. 老师都喜欢讲课，但不是所有的老师都喜欢做科研，所以，存在喜欢讲课而 不喜欢做科研的老师。 五、应用题 （共30 分.） 1. 在树结构中， （1）设一个树中度为k 的结点数是n (2≤k),求它的叶的数目。k （）设有带权节点 ，求带权的最优树 。 2 3,5,7,10,11,15,23 T1