- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散答案B卷
PAGE
PAGE 6
2005级《离散数学》试题B卷参考答案
选择题 (每题2分)
1 C 2 D 3 A 4 B 5 A
6 C 7 B 8 B 9 C 10 A
二、填空题 (每题2分)
1、|A?B|=|A|+|B|-|A?B|
2、小红和小丽不都是三好学生
3、2
4、n-1
5、2
6、5
7、P?Q=(?P?Q) ? ( P??Q)
8、为空
9、m=n
三、简答题
1 、解:MR= MR2= MR MR=
MR3= M R2 MR= MR4= M R3 MR=+
又∵Mt(R)= MR +MR2 +MR3 +MR4
? Mt(R) =
? t(R)={(a,b),(a,c),(a,d),(b,c),(b,d)}
评分:1、写出关系矩阵的1分
2、求出MR2,MR3,MR4的1分
3、求出Mt(R)的1分
4、写出t(R)的1分
2、解:
评分:画对图即得4分
3、解:因每个面的边数均为4,∴2m=4r,
∴m=2r,又v=10,代入欧拉公式 n-m+r=2∴10-2r+r=2解得r=8,则e=2r=16
点的度序列为: 点的度序列为:
4,4,4,4 ,3,3,3,3 ,2,2 6,6,3,3,3,3,2,2,2,2。
评分:1、求出边数的3分
2、画出平面图的3分
4、求(P?Q)?(Q?R)的特异析取范式
解:(P?Q)?(Q?R)的真值表
P Q RP?QQ?R(P?Q)?(Q?R)对应极小项0 0 0011?P??Q??R0 0 1001?P??Q?R0 1 01000 1 1111?P?Q?R1 0 0111P??Q??R1 0 11001 1 01001 1 1111P?Q?R找使公式真值为1的赋值。
由此主析取范式为:
(P?Q)?(Q?R)?(?P??Q??R)?(?P??Q?R)?(?P?Q?R)
?(P??Q??R)?(P?Q?R)
?m0? m1? m3? m4? m7
评分 :1、画出真值表的3分
2、得出特异析取范式的3分
5、解:G=Z12是12阶循环群。12的正因子是1,2,3,4,6和12,因此G的子群是:??? ? 1阶子群??? 12=0={0}????? ? 2阶子群??? 6={0,6}?????? 3阶子群????? 4={0,4,8} 4阶子群 3={0,3,6,9}? 6阶子群 2={0,2,4,6,8,10}12阶子群1=Z12 评分:1、写出12的正因子的3分
2、 写出6个子群的3分
6、 解:①消去联结词?(若有?,??也要消去).
② 将联结词?移至原子公式之前.
③ 换名.
④ 把量词提到整个公式的前面.
(前束范式)
(或)
评分: 错一处扣2分,扣完为止
四、证明题
1 、证明: a,b∈Z,(a*b)*c=(a+b-2)*c=a+b+c-4
a*(b*c)=a*(b+c-2)=a+b+c-4
∴*满是结合律。
a∈Z,a*2=a+2-2=a, 2*a=a,∴单位元是2,
a∈Z,(4-a)*a=(4-a)+a-2=2,∴a的逆元是4-a
∴(Z,*)是群。
对于任何整数n,1n=2-n,即n=12-n,∴1是生成元,也可以验证3也是生成元,3n=n+2。
评分:1、群证明正确的4分
2、生成元正确的2分
2、证明:设H是G=a的子群,若H={e},显然H是循环群,否则取H中的最小正方幂元am,下面证明am是H的生成元。易见amH,为证明Ham,只需证明H中的任何元素
文档评论(0)