《数学名著译丛 元数学导论 上》求取 ⇩
作者 | (美)克林(S.C.Kleene)著;莫绍揆译 编者 |
---|---|
出版 | 北京:科学出版社 |
参考页数 | 234 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 1984(求助前请核对) 目录预览 |
ISBN号 | 13031·2717 — 违规投诉 / 求助条款 |
PDF编号 | 87475548(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
第一部分 数学基础问题1
第一章 集论1
1. 可数集1
2. 康托的对角线法4
3. 基数7
4. 等价定理,有穷集与无穷集9
5. 更高的超穷基数13
第二章 若干基本概念18
6. 自然数18
7. 数学归纳法20
8. 客体系统24
9. 数论与解析学29
10. 函数32
第三章 数学推理的批判36
11. 悖论36
12. 由悖论得出的一些初步推论40
13. 直觉主义47
14. 形式主义55
15. 一理论的形式体系化62
第二部分 数理逻辑70
第四章 形式体系70
16. 形式符号70
17. 形成规则73
18. 自由变元与约束变元77
19. 变形规则82
20. 形式推演88
第五章 形式推演88
21. 推演定理92
22. 推演定理(续完)97
23. 逻辑符号的引入与消去101
24. 依赖性及变化性106
第六章 命题演算113
25. 命题字母公式113
26. 等价性,替换118
27. 等价式,对偶原则124
28. 赋值,无矛盾性131
29. 完备性,范式138
30. 判定过程,解释144
31. 谓词字母公式151
第七章 谓词演算151
32. 导出规则,自由变元155
33. 替换161
34. 代入165
35. 等价式,对偶性,前束式174
36. 赋值,无矛盾性181
37. 集论式的谓词逻辑,k变换187
第八章 形式数论195
38. 归纳,相等性,替换195
39. 加法,乘法,次序200
40. 数论的进一步发展205
41. 形式计算211
42. 哥德尔定理223
1984《数学名著译丛 元数学导论 上》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由(美)克林(S.C.Kleene)著;莫绍揆译 1984 北京:科学出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- 数学名著译丛 抽象代数学 卷3 域论及伽罗瓦理论
- 1987 北京:科学出版社
- 元数学导论 (上册)
- 1984.11 科学出版社
- 数学译丛 第6期
- 1965
- 数学译丛 第2期
- 1965
- 数学译丛 第4期
- 1964
- 数学名著译丛 代数学 1
- 1963 北京:科学出版社
- 数学教育学导论
- 1996 桂林:广西师范大学出版社
- 经济学数学导论
- 1992 大连:大连理工大学出版社
- 世界佛学名著译丛 86 清浄道论 上
- 1987 华宇出版社
- 数学名著译丛 现代分析基础 第1卷
- 1982 北京:科学出版社
- 数学生态学导论
- 1995 北京:科学技术文献出版社
- 科学译丛 数学 第1册 度量性实变数函数论
- 1953 中国科学院
- 高等数学导论 上
- 1995 合肥:中国科学技术大学出版社
- 数学名著译丛 数学与猜想 第2卷 合情推理模式
- 1984 北京:科学出版社
- 数学名著译丛 抽象代数学 卷2 线性代数
- 1960 北京:科学出版社
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD