天津理工大学离散数学魏雪丽版检测题答案.docx
《天津理工大学离散数学魏雪丽版检测题答案.docx》由会员分享,可在线阅读,更多相关《天津理工大学离散数学魏雪丽版检测题答案.docx(35页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、天津理工大学离散数学魏雪丽版检测题答案天津理工高校离散数学魏雪丽版检测题答案 本文关键词:天津,理工高校,答案,检测,离散数学天津理工高校离散数学魏雪丽版检测题答案 本文简介:天津理工高校离散数学第一章检测题答案一、填空题(每空2分,共30分)123,。4,567二、单项选择题(每小题2分,共20分)12345678910得分DBCBCDAACB三、简答题(每小题6分,共12分)1构造命题公式的真值表00011011110101001天津理工高校离散数学魏雪丽版检测题答案 本文内容:天津理工高校离散数学第一章检测题答案一、填空题(每空2分,共30分)123,。4,567二、单项选择题(每小题2
2、分,共20分)12345678910得分DBCBCDAACB三、简答题(每小题6分,共12分)1构造命题公式的真值表00011001110100001111100111011111001111112求命题公式的主析取范式和主合取范式。3推断命题公式与是否等价。解:等价四证明题(共32分)(10分)用CP规则证明;1.P6.T(4,5)I(2分)2.P7.T(3,4)I(2分)3.T(1,2)I(2分)8.T(6,7)I(2分)4.P(附加前提)9.CP(2分)5.P(10分)用归谬法证明证:1(1分)23(2分)45(2分)67(2分)8(2分)由8得出了冲突,依据归谬法说明原推理正确(1分)
3、3(12分)公安人员审理某珠宝商店的钻石项链的失窃案,已知侦察结果如下:(1)营业员或盗窃了钻石项链(2)若作案,则作案时间不在营业时间(3)若供应的证词正确,则货柜未上锁(4)若供应的证词不正确,则作案发生在营业时间(5)货柜上了锁试问:作案者是谁?要求写出推理过程。解:令表示“营业员盗窃了钻石项链”;表示“营业员盗窃了钻石项链”;表示“作案时间在营业时间”;表示“供应的证词正确”;表示“货柜上了锁”。则侦察结果如下:,由此可推出作案者是(4分)推理过程如下:(1)(6)(2)(7)(5),(6)(2分)(3)(1),(2)(2分)(8)(4)(9)(7),(8)(2分)(5)(3),(4)
4、(2分)天津理工高校离散数学其次章检测题答案一、填空题(每空3分,共30分)1或23456(;)78二、单项选择题(每小题2分,共20分)12345678910得分AABDCACCBD三、简答题(每小题6分,共12分)1求謂词公式的前束析取范式2证明:证:四证明题(共38分)1(12分)用谓词演算的推理规则证明:,(1)(2)(2分)(3)(4)I(2分)(5)(6)(2分)(7)I(2分)(8)I(2分)(9)I(2分)2(10分)指出下面推理证明过程中的错误,并给出正确的证明用谓词演算的推理规则证明:证::(1)P(6)T(4)I(2)US(1)(7)T(2),(5)I(3)P(8)T(6
5、),(7)I(4)ES(3)(9)EG(8)(5)T(4)I该证明的错误在于:(1)、(2)与(3)、(4)的依次颠倒了,应当先指定存在后指定全称。(2分)正确的证明是:(4分)(1)P(6)T(2)I(1分)(2)ES(1)(2分)(7)T(4),(5)I(1分)(3)P(8)T(6),(7)I(1分)(4)US(3)(2分)(9)EG(8)(1分)(5)T(2)I3(16分)符号化下列命题并推证其结论任何人假如他喜爱音乐,他就不喜爱体育每个人或者喜爱体育,或者喜爱美术有的人不喜爱美术因而有的人不喜爱音乐(设M(x):x喜爱音乐,S(x):x喜爱体育,(x):喜爱美术)该推理符号化为:或前提
6、:结论:(4分)证:(1)P(2)ES(1)(2分)(3)P(4)US(3)(2分)(5)T(2)(4)I(2分)(6)P(7)US(6)(2分)(8)T(7)E(1分)(9)T(5)(8)I(2分)(10)EG(9)(1分)天津理工高校离散数学第三、四章检测题答案一、填空题(每空2分,共40分)134反对称,传递。5;6,或单位矩阵74,6,2,3,无,无,12,1。8,。9单射,满射;既是单射又是满射;二、单项选择题(每小题2分,共20分)12345678910得分(1)(2)(1)(3)(2)(2)(1)(3)(3)(1)三、简答题(共30分)1(6分)设=1,2,3,5,6,10,15
7、,30,“”为集合上的整除关系。,是否为偏序集?若是,画出其哈斯图;解:,是偏序集。其哈斯图为:2(12分)对下图所给的偏序集,求下表所列集合的上(下)界,上(下)确界,并将结果填入表中。子集上界下界上确界下确界无无无无3(6分)设=1,2,3,4,5,6,集合上的关系=1,3,1,5,2,5,4,4,4,5,5,4,6,3,6,6。(1)画出的关系图,并求它的关系矩阵;(2)求及。解:(1)的关系图为的关系矩阵为(2分)(2),(1分)(1分)(2分)4设Z是整数集,是Z上的模3同余关系,即,试依据等价关系确定Z的一个划分。答案:由确定的Z的划分为:,其中:四证明题(共10分)设定义为,证明
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 天津 理工大学 离散数学 魏雪丽版 检测 答案
限制150内