图书介绍
经典逻辑与非经典逻辑基础PDF|Epub|txt|kindle电子书版本网盘下载
- 杜国平编著 著
- 出版社： 北京：高等教育出版社
- ISBN：7040189526
- 出版时间：2006
- 标注页数：266页
- 文件大小：3MB
- 文件页数：274页
- 主题词：逻辑－研究生－教材
PDF下载
下载说明
经典逻辑与非经典逻辑基础PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 预备知识1
1.1 集1
1.2 集运算2
1.3 关系和映射4
1.4 集合的基数7
第二章 命题逻辑9
2.1 基于命题联系的推理9
2.2 命题语言10
2.3 公理系统16
2.4 命题逻辑自然推理系统29
2.5 语义41
2.6 真值表46
2.7 真值连接词的完全集51
2.8 命题逻辑的元理论55
3.1 自然语言的一阶表示64
第三章 一阶谓词逻辑64
3.2 一阶语言70
3.3 一阶语义74
3.4 一阶谓词逻辑公理系统82
3.5 一阶谓词逻辑自然推理系统98
3.6 一阶谓词逻辑系统元理论106
第四章 公理集合论基础115
4.1 ZFC简介115
4.2 外延公理、空集公理和子集公理117
4.3 偶集公理120
4.4 并集公理和幂集公理122
4.5 关系128
4.6 等价关系和划分136
4.7 函数和选择公理141
4.8 无穷公理、归纳定义和正则公理144
4.9 序数和替换公理151
4.10 基数154
第五章 模态逻辑158
5.1 模态语言158
5.2 模态命题逻辑系统K159
5.3 模态命题逻辑系统D、T161
5.4 模态命题逻辑系统S4、B、S5164
5.5 模态命题逻辑系统K、D、T、S4、B和S5的一致性167
5.6 可能世界语义学169
5.7 模态公式与一阶公式的对应173
5.8 模态命题逻辑系统K、D、T、S4、B、S5的可靠性175
5.9 反模型方法178
5.10 模态命题逻辑系统K、D、T、S4、B、S5的完全性180
第六章 时态逻辑186
6.1 时态语言186
6.2 时态语义188
6.3 时态逻辑极小系统Kt191
6.4 Kt的元理论193
6.5 其他时态逻辑系统197
第七章 弗协调逻辑208
7.1 弗协调逻辑的产生208
7.2 形式语言208
7.3 公理系统Cn（1≤n＜ω）211
7.4 Cn（1≤n＜ω）的语义及可靠性220
7.5 足道集与Cn（1≤n＜ω）的完全性224
7.6 Cn（1≤n＜ω）的判定问题228
7.7 Cω的语义233
第八章 直觉主义逻辑239
8.1 直觉主义239
8.2 直觉主义逻辑形式系统240
8.3 直觉主义逻辑的语义250
8.4 直觉主义逻辑元理论258
参考书目265