图书介绍

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

数理逻辑
  • 王兵山等编著 著
  • 出版社： 长沙：国防科技大学出版社
  • ISBN：7810242768
  • 出版时间：1993
  • 标注页数：243页
  • 文件大小：5MB
  • 文件页数：250页
  • 主题词：

PDF下载


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

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

前言页1

第一章 形式系统6

第二章 命题逻辑6

2．1 命题逻辑形式系统■6

2．2 ■的定理和导出规则10

2．3 ■的语义、协调性18

2．4 ■的完全性25

2．5 ■的独立性31

2．6 命题联结词35

2．7 ■的紧致性45

2．8 消解46

第三章 一阶逻辑57

3．1 一阶逻辑形式系统■57

3．2 ■的定理和导出规则66

3．3 代入定理89

3．4 前束范式103

3．5 ■的语义108

3．6 独立性126

3．7 协调性和完全性135

第四章 等词151

4．1 等词系统■151

4．2 等词模型161

第五章 证明与反驳171

5．1 自然演绎171

5．2 Skolem标准型175

5．3 Herbrand定理178

5．4 抽象协调性189

5．5 Gentzen定理197

5．6 语义树205

5．7 ■—反驳211

5．8 合一化221

习题221

参考文献221

热门推荐