- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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)