图书介绍
数理逻辑 离散数学 一分册PDF|Epub|txt|kindle电子书版本网盘下载
- 王捍贫编著 著
- 出版社： 北京：北京大学出版社
- ISBN：7301034903
- 出版时间：1997
- 标注页数：271页
- 文件大小：7MB
- 文件页数：277页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
数理逻辑 离散数学 一分册PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 预备知识1
1.1 集合论的基本概念1
1.2 关系和函数5
1.3 集合的势8
1.4 形式系统18
练习一23
第二章 命题逻辑25
2.1 命题和联结词25
2.2 命题形式和真值表31
2.3 联结词的完全集36
2.4 推理形式41
2.5 命题演算的自然推理形式系统N45
2.6 命题演算形式系统P64
2.7 N与P的等价性76
2.8 赋值79
2.9 可靠性、和谐性与完备性95
练习二98
第三章 一阶谓词演算105
3.1 一阶谓词演算的符号化106
3.2 一阶语言112
3.3 一阶谓词演算的自然推演形式系统Ny120
3.4 一阶谓词演算的形式系统Ky136
3.5 Ny与Ky的等价性143
3.6 Ky的解释与赋值146
3.7 Ky的可靠性与和谐性165
3.8 Ky的完全性171
练习三183
第四章 消解原理188
4.1 命题公式的消解188
4.2 Herbrand 定理196
4.3 代换与合一代换206
4.4 一阶谓词公式的消解212
练习四221
第五章 直觉主义逻辑223
5.1 直觉主义逻辑的直观介绍224
5.2 直觉主义的一阶谓词演算的自然推演形式系统227
5.3 直觉主义一阶谓词演算形式系统IKy241
5.4 直觉主义逻辑的克里普克(Kripke)语义244
5.5 直觉主义逻辑的完备性253
练习五261
参考书目263
符号表264
术语索引 Index268