- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学考试试题(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)
? M 0 ∧ M 1
? m2 ∨ m3 ∨ m4 ∨ m5 ∨ m 6 ∨ 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 (R 2) ? ? 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
您可能关注的文档
最近下载
- 3.5.1医院感染管理组织C.docx VIP
- 大数据与人工智能导论(厦门大学)学习通网课章节测试答案.docx VIP
- 耻骨上膀胱穿刺造瘘术评分标准(1).docx VIP
- 2025-2026学年小学英语人教精通版2024四年级上册-人教精通版(2024)教学设计合集.docx
- 深圳市某鲁班奖工程幕墙质量通病防治措施.doc VIP
- 第9课《数据画家》(课件)-2025-2026学年苏少版(2024)初中美术八年级上册.pptx VIP
- 电子技术基础数字部分康光华主编详细习题答案.doc VIP
- 技术询标问卷.docx VIP
- EB Propsim C8信道仿真仪操作手册.pdf VIP
- 融通集团校招笔试题.pdf
原创力文档


文档评论(0)