逻辑公式的可满足性判定 方法、工具及应用PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:张健著
- 出 版 社:北京:科学出版社
- 出版年份:2000
- ISBN:7030083644
- 页数:172 页
引言 1
第一章 命题逻辑 3
1.1 命题逻辑简介 3
1.2 可满足性问题 9
1.2.1 合取范式的可满足性问题 9
1.2.2 约束满足问题 11
1.3 Davis-Putnam算法 16
1.3.1 DP算法 17
1.3.2 分支策略 20
1.3.3 其他提高效率的手段 23
1.4 局部搜索法 28
1.5 有序二叉判定图 33
1.6.1 语义表 41
1.6 语义表和St?lmarck方法 41
1.6.2 St?lmarck方法 45
1.7 其他途径 48
1.7.1 随机探索算法 48
1.7.2 转换为多项式问题 50
1.7.3 有向图 52
1.7.4 利用易解的特殊可满足性问题 54
1.7.5 约束逻辑程序设计 56
1.8 各种方法的分析、比较与结合 57
1.8.1 理论分析 57
1.8.2 通过实验结果来比较 58
1.8.3 回溯法与不完备方法的结合 61
第二章 一阶谓词逻辑 63
2.1 一阶谓词逻辑简介 63
2.2 自动定理证明 70
2.2.1 前束范式和子句形式 71
2.2.2 Herbrand定理 76
2.2.3 基于消解原理的否证法 78
2.2.4 判定过程 84
2.3 模型的自动构造 86
2.3.1 用搜索法构造有限模型 86
2.3.2 转换成SAT 100
2.3.3 SATCHMO和MGTP及其他方法 104
2.4 模型构造与定理证明 107
第三章 模态逻辑 110
3.1 命题模态逻辑 110
3.2 命题模态逻辑公式的可满足性判定方法 114
3.2.1 语义表方法 114
3.2.2 翻译法 117
4.1.1 组合学 125
4.1 数学研究 125
第四章 应用 125
4.1.2 抽象代数和逻辑 128
4.2 硬件测试与验证 133
4.3 软件开发中的形式化方法 139
4.3.1 逻辑和关系型规范的验证 139
4.3.2 状态转换式规范的一致性检查 143
4.3.3 程序验证与测试 145
4.4 人工智能及其他 146
4.4.1 机器人规划 146
4.4.2 资源调度 148
4.4.3 图像理解 150
4.4.4 其他 151
结束语 153
参考文献 157
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《管理者的思维工具》(美)詹姆斯.曼特罗(JamesManktelow)朱利安·伯金肖(JulianBirkins 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《万物探索 交通工具》焦庆锋主编 2018
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《常用工具软件立体化教程》谭桂华,王伟,彭凯 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019