南京航空航天大学《离散数学》试卷(及答案)教学内容.doc

南京航空航天大学《离散数学》试卷(及答案)教学内容.doc

  1. 1、本文档共10页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
南京航空航天大学2007《离散数学》试卷(及答案) 精品文档 精品文档 收集于网络,如有侵权请联系管理员删除 收集于网络,如有侵权请联系管理员删除 精品文档 收集于网络,如有侵权请联系管理员删除 本题分数3 本题分数 36 得 分 一、填空:(每空2分,共36分) (1)设表示不超过k的正整数集,在全集为时, 的补集为 , 的补集为 . (2)设为A为n元集,则集合的计数为 . (3)两集合与 (填”是“或”不是”)等势,自然数集N与实数集R (填”是”或”不是”)等势. (4) 设集合,为A上的一个关系,则R的关系矩阵是 , 的逆关系为 , , 的自反闭包是 ,对称闭包是 . (5)在同构的意义下,4元布尔格的哈斯图是 . (6) 若为以为生成元的8阶循环群,则除了之外, 还 有 个生成元,它们分别是 . (7) 设P:它占据空间,Q:它没有质量,R:它不断运动,S:它叫做物质。命题“占据空间的,有质量的而且不断运动的叫做物质”的符号化为 。 (8) 一个图是欧拉图的充要条件是 ,一个图是偶图的充要条件是 ,树 (填“是”或“不是”或“不一定是”)欧拉图, (填“是”或“不是”或“不一定是”)偶图. 本题分数1 本题分数 10 得 分 (1)若R是对称关系,则对任意整数k,也是对称关系,举例说明两个对称关系的复合未必是对称关系; (2)若R是等价关系,则对任意非零整数k,有. 本题分数 本题分数 16 得 分 三.设集合,定义M上的二元关系, 证明: 是M上的一个部分序关系; 画出部分序集对应的哈斯图, 并指出其中的最大元和最小元; 证明部分序集是一个布尔格,并指出其中的所有原子; 设,问是否为的子格,为什么? 本题分数 本题分数 12 得 分 四.设是整数模n剩余类集合, 另一集合为,在和上定义运算“*”如下: 对和中任意元素,有:, (1) 证明是半群,但不是群; (2) 证明是群 (3) 求中元素的阶数. 本题分数 本题分数 8 得 分 五. 若N为群G的子群,则有: N为G的正规子群,当且仅当对任意,. 本题分数 10 得 分 六、(1)用等值演算法证明下式为永真式 (2)构造下列推理的证明: 若n是偶数,并且n大于5,则m是奇数.只有n是偶数,m才大于6. n是大于5.所以,若m大于6,则m是奇数. 本题分数 6 得 分 七. 设F是k个连通分支的m条边的n阶森林, 则有: . 参考答案 一、填空(每空2分,共36分) 1、; 2、 3、是;不是 4、;; ; ; 5、 6、3; 7、 8、此图没有奇点;此图没有奇圈;不是;是 二、(1)、当对称时,显然也对称,只须证明的情形即可-------1分 当然是对称的,时, 是对称的,假设是对称的,下证也是对称的, ,即存在,使,从而, ,所以, ,即是对称的 由归纳原理,结论成立-------------6分 (2) 为正整数时,因为是自反的,所以, ,即, 因为是传递的,所以,从而, ,可得; 为负整数时, 因为是对称的,所以, ,即, 即结论成立. -------------10分 三、(1)对中任意矩阵,有: ;若,则有;若,则有; 所以,是上的一个部分序关系-------- 3分 (2) 哈斯图如下,最大元为,最小元为--------------------------6分 (3)对中任意矩阵, 定义, 对任意有-----------8分, 对中任意矩阵,有: --------------9分 对中任意矩阵令,有所以,是的补元,即是布尔格,--------------11分 其中所有的原子为.--------------13分 (4)对中矩阵,有: 而都不在中,所以, 不是子格. --------------16分 四、(1) 因为,是代数系统, 易验证结合律成立,且是单位元, 故是单元半群------------2分 元素没有逆元,所以不是群 ------------3分 (2) 因为,,所以, ,从而,有: ,即,是代数系统, 易验证结合律成立,且是单位元, 故是单元半群---------

文档评论(0)

158****8111 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档