图书介绍

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

莫绍揆著著
出版社：上海：上海科学技术出版社
ISBN：13119·589
出版时间：1965
标注页数：358页
文件大小：13MB
文件页数：366页
主题词：

PDF下载

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

点击复制MD5值：0449ef61f41a95e9e13da8fec46691ae

下载说明

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

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

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

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

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

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

图书目录

绪言1

第一篇　命题演算11

第一章　真值联结词12

1．命题及联结词12

2．指派与同真假性16

3．真值函数的作出22

4．联结词的归约28

5．真假指派的决定30

6．范式的化简35

7．同永真性与同可满足性41

第二章　命题演算的公理系统44

8．建立公理系统的必要性44

9．关于公理系统的一般注意48

10．命题演算永真公式的公理系统61

11．重要定理的推演68

12．推理定理与日常推理过程89

13．关于命题演算公理系统的讨论98

14．直觉系统逻辑的判定过程103

15．模态逻辑与多值逻辑109

第二篇　谓词演算117

第三章　量词与摹状词118

16．个体、谓词及函数118

17．变元123

18．量词130

19．摹状词136

20．自由与约束143

21．改名与代入147

22．个体域与指派157

23．同真假性164

24．永真性与可满足性172

25．同永真性与同可满足性182

第四章　狭义谓词演算永真公式的公理系统196

26．公理系统及若干注意196

27．重要定理的推演207

28．公理系统的另一表述230

29．推理定理和日常推理的讨论235

30．关于上述公理系统的讨论243

31．模态谓词演算与多值谓词演算248

第三篇　谓词演算（续）251

第五章　约束谓词演算252

32．有没有高级谓词及高级函数252

33．个体域、谓词域及主要指派264

34．同真假性270

35．次要永真公式的公理系统276

第六章　应用谓词演算284

36．应用谓词演算总论284

37．应用谓词演算与构造论逻辑291

38．同异性演算296

39．集合论演算303

第七章　全总谓词演算327

40．全总谓词演算的结构327

41．向典型形式系统的化归331

42．典型形式系统化归为约束词演算及λ换位演算334

43．λ换位演算化归为组合逻辑343

参考文献357