图书介绍
数理逻辑概论pdf电子书版本下载
- 朱煜华，吴可编著 著
- 出版社： 北京：中共中央党校出版社
- ISBN：7503506083
- 出版时间：1992
- 标注页数：308页
- 文件大小：10MB
- 文件页数：316页
- 主题词：数理逻辑(学科: 概论)
PDF下载
下载说明
数理逻辑概论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目 录 1
序 言 邢贲思 1
第一篇命题逻辑 1
第一章命题、命题联结词和真值函项 1
§1命题和命题变项 1
§2命题联结词 5
§3命题公式 13
§4语句的真值形式 18
§5真值表方法 23
§6命题联结词的相互定义 32
§7真值函项 36
第二章重言式和范式 43
§1重言式 43
§2重言蕴涵式和推理 48
§3简化真值表方法 56
§4重言等值式和置换方法 59
§5求否定规则 64
§6对偶规则 67
§7范式 70
第三章命题推理系统 80
§1 概述 80
§2系统的结构和规则 81
§3自然推理的方法 87
§4若干定理的证明 91
§5推理的实例分析 105
§4系统的可靠性和完全性 112
第二篇谓词逻辑 118
第一章谓词公式和普遍有效性 118
§1谓词逻辑的基本思想 118
§2谓词和个体词 120
§3量词 124
§4传统逻辑四种命题的符号化 127
§5重迭量词 131
§6谓词公式 133
§7辖域 135
§8约束变项和自由变项 137
§9 自然语言的符号化 141
§10量词的相互转换 144
§11谓词公式的解释 148
§12普遍有效性和可满足性 152
第二章谓词推理系统 156
§1全称量词推演规则 156
§2 存在量词推演规则 165
§3 系统的构成和定理的证明 172
§4求否定规则和对偶规则 192
§5谓词推理实例分析 196
§1前束范式 204
第三章范式和判定问题 204
§2 彐－前束范式 209
§3什么是判定问题 216
§4有穷个体域内的判定问题 221
§5无穷个体域内的判定问题 230
第三篇数理逻辑发展简史 238
第一章数理逻辑的形成 238
§1数理逻辑产生和发展的背景 238
§2数理逻辑的萌芽 243
§3逻辑代数的建立和完善 251
§4谓词演算的提出和集合论的建立 260
§5逻辑演算的定型化和数学基础三大派 271
第二章数理逻辑的发展 289
§1 “三大成果”的取得和“四论”的形成 289
§2非古典逻辑系统的出现和发展 295
后记 306