全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第1章1.1 解图如下:8数码问题启发函数为不在位的将牌数启发函数为不在位的将牌数距离和第2章2.1 解图:第3章3.18(1)证明:待归结的命题公式为,合取范式为:,求取子句集为,对子句集中的子句进行归结可得: 归结由上可得原公式成立。(2)证明:待归结的命题公式为,合取范式为:,求取子句集为,对子句集中的子句进行归结可得: 归结 归结 归结 归结由上可得原公式成立。(3)证明:待归结的命题公式为,合取范式为:,求取子句集为,对子句集中的子句进行归结可得: 归结 归结 归结由上可得原公式成立。3.19 答案(1) (2) (3) 不可合一(4) 3.23 证明R1:所有不贫穷且聪明的人都快乐:R2:那些看书的人是聪明的:R3:李明能看书且不贫穷:R4:快乐的人过着激动人心的生活:结论李明过着激动人心的生活的否定:将上述谓词公式转化为子句集并进行归结如下:由R1可得子句:由R2可得子句:由R3可得子句:由R4可得子句:有结论的否定可得子句:根据以上6条子句,归结如下: Li/z Li/x Li/y 由上可得原命题成立。第4章4.9 答案4.11 答案第5章5.9 答案解:把该网络看成两个部分,首先求取。1 首先求取,因为,所以假设, 2 然后求取,因为,所以假设,3 求取和4 求取5 求取,因为,所以假设,6
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026下半年下半年高中语文教资面试古诗文专项真题演练
- 2025-2026学年qq信息技术说课稿
- 2026一级建设工程经济 讲义
- 2026工程工程量清单规范差异对比
- 幼儿园教师心理健康教育
- 哈尔滨医科大学神经病学中枢神经系统脱髓鞘疾病
- 《快乐的童年》课件
- 2026金融券商面试题目及答案
- 《制药工艺学》期末试卷及答案
- 2026儿童康复专业测试题与答案
- 《“诺曼底号”遇难记》课件
- 人教PEP四年级英语上册阅读理解专项30篇(含答案)
- 2026年秋季开学中秋诗词赏析课件
- 2026临汾市侯马市招聘乡(街道)消防协管员考试备考试题及答案详解
- 2026秋学期人教版小学数学六年级上册(新教材)教学计划附进度表
- 2026年秋季学期小学四年级上册英语(人教版PEP新教材)教学计划
- 自来水生产工岗前专项能力考核试卷含答案
- 2026教科版六年级科学上册第一单元《健康生活》全部教案
- 2026年山东青岛市中考历史试题(附答案)
- 2026年重庆市九龙坡区辅警人员招聘考试试卷及答案
- 2025-2026学年江苏省南通市如皋市九年级(上)第一次月考化学试卷(含答案)
评论
0/150
提交评论