图书介绍

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

朱梧槚，肖奚安编著著
出版社：大连：大连理工大学出版社
ISBN：7561140339
出版时间：2008
标注页数：243页
文件大小：9MB
文件页数：252页
主题词：数理逻辑

PDF下载

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

点击复制MD5值：09c1c175b4dc7d9aff788a917e69ae70

下载说明

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

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

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

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第0章绪论1

0.1 什么是数理逻辑1

0.2 形式系统及其解释8

第1章命题与命题联结词13

1.1 命题13

1.2 命题联结词15

1.3 真值函数20

1.4 范式26

1.5 范式与指派37

1.6 命题联结词含量的完全性51

习题与补充163

第2章命题逻辑演算67

2.1 命题逻辑的自然推理系统PN的构造68

2.2 命题逻辑的自然推理系统PN的展开74

2.3 命题逻辑的重言式系统PT的构造85

2.4 命题逻辑的重言式系统PT的展开88

2.5 PN的简化及其与PT的关系96

习题与补充2110

第3章谓词与量词114

3.1 命题的分解与谓词114

3.2 量词与变元118

3.3 函词与摹状词123

3.4 指派与同真假性127

3.5 永真性与可满足性129

3.6 前束范式与Skolem范式133

习题与补充3143

第4章谓词逻辑演算147

4.1 谓词逻辑的自然推理系统FN的构造150

4.2 谓词逻辑的自然推理系统FN的展开156

4.3 谓词逻辑的重言式系统FT的构造164

4.4 谓词逻辑的重言式系统FT的展开166

4.5 FN的简化及其与FT的关系179

4.6 带等词或函词的谓词逻辑184

习题与补充4190

第5章逻辑演算系统的整体特征193

5.1 赋值与模型193

5.2 可靠性与协调性198

5.3 完备性202

5.4 紧致性与可判定性210

习题与补充5212

附录非经典逻辑纲要213

参考文献242