图书介绍

数理逻辑导引2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

张尚水著著
出版社：北京：中国社会科学出版社
ISBN：7500402031
出版时间：1990
标注页数：326页
文件大小：10MB
文件页数：332页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：cb553b5381719a80576f4b82db277e84

下载说明

数理逻辑导引PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用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