《数理逻辑》求取 ⇩
| 作者 | （美）汉密尔顿（Hamilton，A.G.）著；朱水林译 编者 |
|---|---|
| 出版 | 上海：华东师范大学出版社 |
| 参考页数 | 251 ✅ 真实服务 非骗流量 ❤️ |
| 出版时间 | 1986（求助前请核对） 目录预览 |
| ISBN号 | 2153·010 — 违规投诉 / 求助条款 |
| PDF编号 | 87730378（学习资料 勿作它用） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一章非形式的命题演算1
1.1命题和联结词1
1.2 真值函数和真值表4
1.3 运算和代入规则11
1.4 范式16
1.5 联结词的完全集20
1.6 论证和有效性24
第二章形式的命题演算29
2.1 形式系统L29
2.2 L的完备性定理41
3.1 谓词和量词51
3.2 一阶语言56
第三章非形式的谓词演算61
3.3 解释65
3.4 满足，真68
第四章形式的谓词演算82
4.1 形式系统K82
4.2 等值，代入91
4.3 前束范式97
4.4 K的完备性定理108
4.5 模型113
第五章数学系统118
5.1 引论118
5.2 带等号的一阶系统119
5.3 群论126
5.4 一阶算术131
5.5 形式集合论136
5.6 一致性和模型142
第六章哥德尔不完全性定理145
6.1 引论145
6.3 递归函数和递归关系156
6.4 哥德尔数165
6.5 不完全性的证明170
第七章可计算性，不可解性，不可判定性177
7.1 算法和可计算性177
7.2 图灵机186
7.3 字问题206
7.4 形式系统的不可判定性212
附录 可数集和不可数集223
部分习题的提示和解答228
参考书目248
符号表249
1986《数理逻辑》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由（美）汉密尔顿（Hamilton，A.G.）著；朱水林译 1986 上海：华东师范大学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑引论
- 1982 北京：北京大学出版社
-
- 数理逻辑
- 1986.11 华东师范大学出版社
-
- 数理逻辑、集合
- 1987年02月第1版 人民邮电出版社
-
- 数理逻辑引论
- 1994
-
- 数理逻辑
- 1992 广州：华南理工大学出版社
-
- 数理逻辑
- 1990 上海：华东化工学院出版社
-
- 数理逻辑引论
- 1991 哈尔滨：哈尔滨工业大学出版社
-
- 数理逻辑概貌
- 1989 北京：科学技术文献出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 数理逻辑
- 1990 杭州：浙江大学出版社
-
- 数理逻辑教程
- 1982 华中工学院出版社
-
- 数理逻辑引论
- 1982 北京：清华大学出版社
-
- 数理逻辑、集合
- 1987 北京：人民邮电出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 数理逻辑
- 1986 上海：华东师范大学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD