《离散数学期末考试试题(配答案)[1]》由会员分享，可在线阅读，更多相关《离散数学期末考试试题(配答案)[1]（5页珍藏版）》请在金锄头文库上搜索。
1、广东技术师范学院模拟试题 科 目：离散数学 考试形式：闭卷 考试时间: 120 分钟系别、班级： 姓名： 学号： 一填空题（每小题2分，共10分）1. 谓词公式的前束范式是_ xyP(x)Q(y) _。2. 设全集则AB =_2_，_4,5_，_ 1,3,4,5 _3. 设，则_ c,a,c,b,c,a,b,c _，_。4. 在代数系统（N，+）中，其单位元是0，仅有 _1_ 有逆元。5如果连通平面图G有个顶点，条边，则G有_e+2-n_个面。二选择题（每小题2分，共10分）1. 与命题公式等价的公式是（ ）（A） （B） （C） （D）2. 设集合,A上的二元关系不具备关系( )性质（A）
2、(A)传递性 (B)反对称性 (C)对称性 (D)自反性3. 在图中,结点总度数与边数的关系是( )(A) (B) (C)(D) 4. 设D是有n个结点的有向完全图,则图D的边数为( )(A) (B) (C) (D)5. 无向图G是欧拉图,当且仅当( )(A) G的所有结点的度数都是偶数 (B)G的所有结点的度数都是奇数(C)G连通且所有结点的度数都是偶数 (D) G连通且G的所有结点度数都是奇数。三计算题（共43分）1. 求命题公式的主合取范式与主析取范式。（6分）解：主合取方式：pqr(pqr)(pqr)(pqr)= 0.2.4主析取范式：pqr(pqr) (pqr) (pqr) (pqr
3、) (pqr)= 1.3.5.6.72. 设集合上的二元关系R的关系矩阵为,求的关系矩阵，并画出R，的关系图。（10分）3 无向图G有12条边，G中有6个3度结点，其余结点的度数均小于3，问G中至少有多少个结点？（10分）解：G（V,E），| E |=V，d（Vi）3,设至少有x个节点，由握手定理得：212=d（Vi）63+(x-6)328故G中至少有9个节点。4 求下面两个图的最小生成树。（12分）5. 试判断是否为格？说明理由。（5分）解：（Z,）是格，理由如下：对于任意aZ，aa成立，满足自反性；对于任意aZ，bZ，若ab且ba，则a=b，满足反对称性；对于任意a，b，cZ，若ab，bc
4、，则ac，满足传递性；而对于任意a，bZ，ab，b为最小上界，a为最大下界，故（Z，）是格。（注：什么是格？）四证明题（共37分）1. 用推理规则证明。（10分）证明： 编号公式依据（1）（BC）C前提（2）BC，C（1）（3）B（2）（4）AB（3）（5）A（3）（4）（6）（AD）前提（7）AD（6）（8）D（5）（6）2. 设R是实数集，。求证：都是满射，但不是单射。（10分）证明：要证f是满射，即yR,都存在（x1，x2）RR，使f（x1，x2）=y，而f（x1，x2）=x1+x2，可取x1=0，x2=y，即证得；再证g是满射，即yR，,都存在（x1，x2）RR，使g（x1，x2）=y
5、，而g（x1，x2）=x1x2，可取x1=1，x2=y，即证得；最后证f不是单射，f（x1，x2）=f（x2，x1）取x1x2，即证得，同理：g（x1，x2）=g（x2，x1），取x1x2，即证得。3. 无向图G有9个结点，每个结点的度数不是5就是6，求证：G中至少有5个6度结点或6个5度结点。（10分）证明：设G中至多有4个6度结点且5个5度结点，d（Vi）=49不是偶数，故它不是一个图，矛盾。（下面只供参考，个人答案）4. 设平面上有100个点，期中任意两点间的距离至少是1，则最多有300对点距离恰好为1。（7分）证明：设任意两点间的读书和恰好为1，则满足：d（Vi）=2ed（Vi）661002e e300故最多只有300条边，即300对点距离恰好为1.
