离散数学期末试题.docx

  1. 1、本文档共6页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

离散数学考试试题(A卷及答案)

一、(10分)求(P?Q)?(P∧?(Q∨?R))的主析取范式

解:(P?Q)?(P∧?(Q∨?R))??(?(P∨Q))∨(P∧?Q∧R))

?(P∨Q)∨(P∧?Q∧R))

?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R)

?(P∨Q)∧(P∨Q∨R)

?(P∨Q∨(R∧?R))∧(P∨Q∨R)

?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R)

?M0∧M1

?m2∨m3∨m4∨m5∨m6∨m7

二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断:甲说:王教授不是苏州人,是上海人。

乙说:王教授不是上海人,是苏州人。

丙说:王教授既不是上海人,也不是杭州人。

王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人?

解 设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有:甲:?P∧Q

乙:?Q∧P丙:?Q∧?R

王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P∧Q)∧((Q∧?R)∨(?Q∧R)))∨((?Q∧P)∧(?Q∧R))

?(?P∧Q∧Q∧?R)∨(?P∧Q∧?Q∧R)∨(?Q∧P∧?Q∧R)

?(?P∧Q∧?R)∨(P∧?Q∧R)

??P∧Q∧?R

?T

因此,王教授是上海人。

三、(10分)证明tsr(R)是包含R的且具有自反性、对称性和传递性的最小关系。

证明设R是非空集合A上的二元关系,则tsr(R)是包含R的且具有自反性、对称性和传递性的关系。

若R是包含R的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r(R)?R。则sr(R)?s(R)=R,进而有tsr(R)?t(R)=R。

综上可知,tsr(R)是包含R的且具有自反性、对称性和传递性的最小关系。

四、(15分)集合A={a,b,c,d,e}上的二元关系R为R={a,a,a,b,a,c,a,d,

a,e,b,b,b,c,b,e,c,c,c,d,c,e,d,d,d,e,e,e},(1)写出R的关系矩阵。

(2)判断R是不是偏序关系,为什么?解 (1)R的关系矩阵为:

?1

?

?0

?M(R)??0

?

?0

0?

0

?

1 1 1 1?

?

1 1 0 1?

0 1 0 1?

?

0 0 1 1?

?0 0 0 1?

?

(2)由关系矩阵可知,对角线上所有元素全为1,故R是自反的;r+r ≤1,故R是反对称的;可

ij ji

计算对应的关系矩阵为:

由以上矩阵可知R是传递的。

?1

?

?0

?M(R2)??0

?

?0

0?

0

?

1 1 1 1?

?

1 1 0 1?

?0 1 0 1??M(R)

?

0 0 1 1?

?0 0 0 1?

?

五、(10分)设A、B、C和D为任意集合,证明(A-B)×C=(A×C)-(B×C)。证明:因为

x,y∈(A-B)×C?x∈(A-B)∧y∈C

?(x∈A∧x?B)∧y∈C

?(x∈A∧y∈C∧x?B)∨(x∈A∧y∈C∧y?C)

?(x∈A∧y∈C)∧(x?B∨y?C)

?(x∈A∧y∈C)∧?(x∈B∧y∈C)

?x,y∈(A×C)∧x,y?(B×C)

?x,y∈(A×C)-(B×C)所以,(A-B)×C=(A×C-B×C)。

六、(10分)设f:A?B,g:B?C,h:C?A,证明:如果h?g?f=I

,f?h?g=I

,g?f?h=I

,则f、

g、h均为双射,并求出f-1、g-1和h-1。

A B C

解 因IA恒等函数,由h?g?f=IA可得f是单射,h是满射;因IB恒等函数,由f?h?g=IB可得g是单射,f是满射;因IC恒等函数,由g?f?h=IC可得h是单射,g是满射。从而f、g、h均为双射。

由h?g?f=IA,得f-1=h?g;由f?h?g=IB,得g-1=f?h;由g?f?h=IC,得h-1=g?f。

七、(15分)设G,*是一代数系统,运算*满足交换律和结合律,且a*x=a*y?x=y,证明:若G

有限,则G是一群。

证明 因G

文档评论(0)

dqy118 + 关注
官方认证
内容提供者

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

认证主体上海海滋实业有限公司
IP属地上海
统一社会信用代码/组织机构代码
91310115MA7DL1JF2N

1亿VIP精品文档

相关文档