图书介绍
数理逻辑导引PDF|Epub|txt|kindle电子书版本网盘下载
- 张尚水著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：7500402031
- 出版时间：1990
- 标注页数：326页
- 文件大小：10MB
- 文件页数：332页
- 主题词：
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
2 预备知识5
第一章 命题逻辑20
1 复合命题 联结词20
2 真值联结词 真值形式23
3 命题形式 真值表方法32
4 真值函数 重言式40
5 重言后承 推理的形式结构48
6 联结词的可定义性、完全性和独立性58
7 等值 对偶性 范式65
第二章 命题演算92
1 形式系统92
2 命题演算P的语言及其语法100
3 P的公理和推理规则112
4 演绎定理123
5 P中定理的证明（续）137
6 赋值 重言式149
7 P的可靠性和协调性153
8 P的弱完全性157
9 P的强完全性161
10 公理的独立性166
11 命题逻辑的其它公理系统171
12 命题逻辑的自然推理系统174
第三章 一阶谓词逻辑184
1 个体词 谓词 函数词184
2 变元和量词186
3 自由变元和约束变元193
4 谓词逻辑的命题形式195
5 一阶语言203
6 一阶语言的语义212
7 代入221
8 表列方法233
9 范式249
第四章 一阶谓词逻辑（续）259
1 一阶谓词演算259
2 定理的推演 导出规则262
3 演绎定理268
4 定理的推演（续）对偶原则273
5 可靠性和协调性280
6 完全性283
7 带等词的一阶谓词演算292
8 模型论初步311