1 / 21
文档名称:

离散试卷有答案 (4).doc

格式:doc   大小:515KB   页数:21
下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

离散试卷有答案 (4).doc

上传人:乘风破浪 2019/1/31 文件大小:515 KB

下载得到文件列表

离散试卷有答案 (4).doc

文档介绍

文档介绍:离散数学(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)Û∧Û∨∨∨∨∨(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)Ís()=,进而有tsr(R)Ít()=。综上可知,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的关系矩阵为:(2)由关系矩阵可知,对角线上所有元素全为1,故R是自反的;+≤1,故R是反对称的;可计算对应的关系矩阵为:由以上矩阵可知R是传递的。(10分)设A、B、C和D为任意集合,证明(A-B)×C=(A×C)-(B×C)。证明:因为<,>∈(A-B)×CÛ∈(A-B)∧∈CÛ(∈A∧ÏB)∧∈CÛ(∈A∧∈C∧ÏB)∨(∈A∧∈C∧ÏC)Û(∈A∧∈C)∧(ÏB∨ÏC)Û(∈A∧∈C)∧Ø(∈B∧∈C)Û<,>∈(A×C)∧<,>Ï(B×C)Û<,>∈(A×C)-(B×C)所以,(A-B)×C=(A×C-B×C)。(10分)设f:A®B,g:B®C,h:C®A,证明:如果hogof=IA,fohog=IB,gofoh=IC,则f、g、h均为双射,并求出f-1、g-1和h-1。解因IA恒等函数,由hogof=IA可得f是单射,h是满射;因IB恒等函数,由fohog=IB可得g是单射,f是满射;因IC恒等函数,由gofoh=IC可得h是单射,g是满射。从而f、g、h均为双射。由hogof=IA,得f-1=hog;由fohog=IB,得g-1=foh;由gofoh=IC,得h-1=gof。(15分)设<G,*>是一代数系统,运算*满足交换律和结合律,且a*x=a*yÞx=y,证明:若G有限,则G是一群。证明因G有限,不妨设G={,,…,}。由a*x=a*yÞx=y得,若x≠y,则a*x≠a*y。于是可证,对任意的a∈G,有aG=G。又因为运算*满足交换律,所以aG=G=Ga。令e∈G使得a*e=a。对任意的b∈G,令c*a=b,则b*e=(c*a)*e=c*(a*e)=c*a=b,再由运算*满足交换律得e*b=b,所以e是关于运算*的幺元。对任意a∈G,由aG=G可知,存在b∈G使得a*b=e,再由运算*满足交换律得b*a=e,所以b是a的逆元。由a的任意性知,G中每个元素都存在逆元。故G是一群。(20分)(1)证明在n个结点的连通图G中,至少有n-1条边。证明不妨设G是无向连通图(若G为有向图,可略去边的方向讨论对应的无向图)。设G中结点为、、…、。由连通性,必存在与相邻的结点,不妨设它为(否则可重新编号),连接和,得边,还是由连通性,在、、…、中必存在与或相邻的结点,不妨设为,将其连接得边,续行此法,必与、、…、中的某个结点相邻,得新边,由此可见G中至少有n-1条边。(2)给定简单无向图G=<V,

最近更新

2026年党务廉政知识测试题(夺分金卷) 14页

2026年全国二级计算机C语言程序设计题库(夺冠.. 13页

2026年刑事诉讼原理与实务模拟题100道及参考答.. 47页

2025四川泸州市古蔺县教育和体育局古蔺县人力.. 34页

2025年《职业能力倾向测验》数量关系考核试题.. 35页

2025年南昌师范学院马克思主义基本原理概论期.. 12页

2026年国开电大外国文学形考题库及一套参考答.. 40页

2025年秭归县招教考试备考题库含答案解析(必.. 30页

2025年辽阳职业技术学院辅导员考试参考题库附.. 31页

2026年天津城市建设管理职业技术学院单招职业.. 43页

2025广东深圳市坪山区卫生健康局选聘事业单位.. 50页

2026年安徽省纪委廉政考试题库(b卷) 14页

2025河北工业大学招聘94人笔试历年题库附答案.. 36页

2026年工贸试题-考试题库含答案【新】 43页

2025重庆沪渝创智生物科技有限公司社会招聘5人.. 47页

2026中国支付清算协会招聘4人考试备考题库附答.. 43页

2026年廉政专题(研优卷) 14页

2026天津轨道交通集团毕业生校园招聘32人参考.. 50页

2026年《刑法》知识测试题1套 15页

2026年中医住培带教师资理论考核题库100道及答.. 39页

2026年保定电力职业技术学院单招职业倾向性考.. 44页

2026年时事政治测试题库带答案(培优b卷) 13页

2026年刑法各论期末试题完整答案 16页

2026年华文慕课 刑法学总论课后作业精编答案 15页

2026年注册造价工程师考试题库200道【培优】 86页

2025交通运输部所属事业单位第七批统一招聘10.. 18页

2026年江西交通职业技术学院单招职业倾向性考.. 37页

2025年新疆考试录用公务员《公安专业科目》真.. 30页

全国大学生智能车大赛作品-智能循迹小车技术文.. 31页

企业承包商准入与退出机制 11页