全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第1页共3页一、单项选择题(请从4个备选答案中选择最适合的一项,每小题2分,共30分)123456789101112131415ADDACBCADBCDCAB二、填空题(每空2分,共40分)1.QP2.3.4.4,6,无,12.5.6.7.8.或9.1,树根10.11.112.;13.714.1415.三、计算题(每小题6分,共18分)1.设={1,2,3,5,6,10,15,30},“/”为集合上的整除关系.〈,/〉是否为偏序集?若是,画出其哈斯图.解:〈,/〉是偏序集.其哈斯图为:(2分)(4分)2.以给定权2,4,5,8,13,15,18,25构造一棵最优二叉树.(6分)3.集合上的关系,求的三种闭包,及.四、证明题(每小题6分,共12分)1.用谓词演算的推理规则证明:Proof:(1)P(6)T(2)I(2)ES(1)(2分)(7)T(4),(5)I(1分)(3)P(8)T(6),(7)I(1分)(4)US(3)(1分)(9)EG(8)(1分)(5)T(2)I2.用归谬法证明.证:(1)(1分)(2)(3)(1分)(4)(5)(1分)(6)(7)(1分)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年抹灰工程劳务分包合同
- 2024年应急电源调度合同
- 2024年建筑方案设计师聘请合同
- 《基于企业价值创造理论的GRN公司现金流管理研究》
- 《岭南传统装饰纹样在陶瓷餐具中的应用研究》
- 《MOFs@柔性TiO2纳米纤维的可控制备及其CO2光催化还原研究》
- 《原创歌剧《八女投江》中冷云角色的艺术特征研究》
- 《我国大学生跆拳道运动员技战术运用特征分析》
- 《电力调度管理系统数据门户的研究与应用》
- 超市开业活动促销方案范文
- 【工商企业管理专业实操实训报告2600字(论文)】
- HJ 636-2012 水质 总氮的测定 碱性过硫酸钾消解紫外分光光度法
- 主播薪资核算方案
- 机电仪运维中心巡检工作提升方案
- 10以内口算题每页50道
- 大学生职业生涯规划与就业指导(高校学生学习职业生涯规划与就业指导课程)全套教学课件
- 《道德与法治》三年级学情分析
- 校园禁烟承诺书(12篇)
- 国家开放大学《计算机网络》课程实验报告实验六-计算机网络综合性实-
- 学校教育统计工作计划方案
- 售后服务方案及运维方案
评论
0/150
提交评论