图书介绍
应用逻辑 第2版PDF|Epub|txt|kindle电子书版本网盘下载
- （美）尼罗德（Nerode，A.），（美）肖尔（ Shore，R.A.）著；丁德成等译 著
- 出版社： 北京：机械工业出版社
- ISBN：7111214048
- 出版时间：2007
- 标注页数：284页
- 文件大小：17MB
- 文件页数：299页
- 主题词：数理逻辑－教材
PDF下载
下载说明
应用逻辑 第2版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
绪论1
第一章 命题逻辑5
第一节 序和树5
第二节 命题、联结词和真值表8
第三节 真值指派和赋值14
第四节 命题演算中的表证明16
第五节 表证明的可靠性和完全性23
第六节 前件演绎和紧致性25
第七节 公理方法29
第八节 消解31
第九节 加细消解39
第十节 线性消解、Horn子句和PROLOG42
进一步阅读建议50
第二章 谓词逻辑52
第一节 谓词和量词52
第二节 语言：项和公式53
第三节 形成树、结构和列表57
第四节 语义：含义与真值60
第五节 PROLOG程序解释64
第六节 证明：完全系统表69
第七节 表证明的可靠性和完全性76
第八节 公理化方法80
第九节 前束范式和斯科朗化81
第十节 厄布朗定理85
第十一节 合一87
第十二节 合一算法90
第十三节 消解93
第十四节 加细消解：线性消解99
进一步阅读建议102
第三章 PROLOG103
第一节 SLD-消解103
第二节 执行：搜索与回溯108
第三节 执行的控制：cut116
第四节 PROLOG程序终止的条件118
第五节 相等123
第六节 因失败而否定125
第七节 否定和非单调逻辑133
第八节 可计算性与不可判定性139
进一步阅读建议144
第四章 模态逻辑146
第一节 可能性与必然性；知识或信念146
第二节 框架和力迫148
第三节 模态表151
第四节 可靠性和完全性156
第五节 模态公理和特殊的可达关系163
第六节 公理化方法168
进一步阅读建议170
第五章 直觉主义逻辑171
第一节 直觉主义与构造主义171
第二节 框架和力迫172
第三节 直觉主义表178
第四节 可靠性和完全性184
第五节 可判定性和不可判定性190
第六节 比较指南197
进一步阅读建议201
第六章 集合论基础203
第一节 集合论中的一些基本公理203
第二节 集合的布尔代数205
第三节 关系、函数和幂集公理207
第四节 自然数、算术和无穷211
第五节 替换、选择和基础218
第六节 谓词逻辑中的策梅洛-弗兰克尔集合论223
第七节 基数：有穷和可数224
第八节 序数228
第九节 序数算术和超穷归纳232
第十节 超穷递归、选择和有秩全域235
第十一节 基数和基数算术237
进一步阅读建议241
附录A 历史回顾243
附录B 一个家谱数据库259
参考文献267