原创力文档- 1、本文档共7页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
2010 试题回顾
10/22/05 XHL,SCAU F06 * ? ? ? ? ? 2010年离散数学 试题 简介 题型（2010） 一、简答题 6小题 36分 数理逻辑3小题 图论3小题 二、解答题 8小题 64分 数理逻辑3小题 图论5小题 一、简答题(每小题6分，共36分) 1. 用真值表技术证明如下公式为重言式(6分) 2. 用等值演算法证明如下等值式(6分) 3. 求下述谓词公式的前束范式.(6分) 4. 设G是无向连通图，证明：若G中有桥，则G不是 哈密顿图。(6分) 5. 一棵无向树T 有5片树叶，3个2度分支点，其余的 分支点都是3度顶点，求出该树的顶点数n，边数m.(6分) 6. 证明完全二部图K2,4是平面图，但不是极大平面图。 (6分) 二、综合题(每小题8分，共64分) 7. 求公式 的主析取范式(8分) 8. 在命题逻辑自然推理系统P中构造下面推理的证明。(8分) 根号2是有理数或无理数。若根号2是有理数，则2能整除3。若根号2是无理数，则根号3也是无理数，而2不能整除3，所以根号2和根号3都是无理数. 9. 在一阶逻辑自然推理系统中，构造下面推理的证明(8分) 结论： 前提： 10. 给定数列2, 2, 2, 2, 3, 3, 4, 4，证明以之为度数列的简单图存在，画出一个符合条件的简单图，并求出该图的点连通度和边连通度. 11. 给定权4，5，6，8，10，12，14，试构造一棵相应 的最优二叉树，并算出该树的树权W(T).(8分) 12.今有n个人（ n ≥4），已知他们中的任何2人合起来认识其余的n-2个人. 证明，这n个人能排成一个圈，使得每个人都认识两旁的人.(8分) 13. 设G是含有n个顶点m条边的连通平面图，已知G中不含有长度为3的圈，证明G中至少有一个顶点，其度数≤3 14. 证明K3,3 是非平面图，再通过画平面嵌入的办法证明 K3,3-e 是平面图。(8分)
文档评论（0）