图书介绍

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

数理逻辑基础 下
  • 胡世华，陆钟万著 著
  • 出版社： 北京：科学出版社
  • ISBN：13031·1948
  • 出版时间：1982
  • 标注页数：434页
  • 文件大小：5MB
  • 文件页数：212页
  • 主题词：

PDF下载


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

下载说明

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

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

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

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

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

图书目录

第三章 重言式229

30P的重言式系统230

31P*等的重言式系统250

32非古典命题逻辑的重言式系统270

33谓词逻辑的重言式系统285

34重言式系统和自然推理系统的关系291

第四章 可靠性和完备性300

40赋值300

41恒真性和可真性310

42可靠性和协调性319

43命题逻辑的完备性322

44谓词逻辑的完备性（一）327

45谓词逻辑的完备性（二）336

46带等词的谓词逻辑的完备性342

47紧致性定理和勒文海姆－斯柯伦定理349

48独立性350

第五章 形式数学系统365

50形式数学系统365

51初等代数367

52自然数373

53哥德尔不完备性定理382

54集385

55实数393

56应用重言式系统399

57形式符号定义401

附录（一）命题量词409

附录（二）斜形证明412

符号汇编（下册）429

参考文献432

热门推荐