《哥德尔不完全定理》
作者 | 朱水林编著 编者 |
---|---|
出版 | 沈阳:辽宁教育出版社 |
参考页数 | 212 |
出版时间 | 1987(求助前请核对) 目录预览 |
ISBN号 | 7538201793 — 求助条款 |
PDF编号 | 8563718(仅供预览,未存储实际文件) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |

一引言1
1.哥德尔的生平4
2.历史背景17
二逻辑演算37
1.命题逻辑和命题演算41
2.谓词逻辑73
3.谓词演算和完备性定理90
三不完全性定理113
1.一阶算术118
2.哥德尔数132
3.可表达性137
4.递归函数和递归关系149
5.可表达性定理160
6.不完全性定理的证明175
四意义185
参考文献207
人名索引209
1987《哥德尔不完全定理》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由朱水林编著 1987 沈阳:辽宁教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
-
- 不完全竞争经济学
- 1961 北京:商务印书馆
-
- 不完全竞争经济学
- 1961年11月第1版
-
- 不完全な魂
- 1980 けいせい
-
- 哥德对话录
- 民国26.05 商务印书馆
-
- 伊哥尔王子
- 1951.04 商务印书馆
-
- 顺德通 2013 完全顺德商务指南
- 佛山传媒集团珠江商报社
-
- 克利门特·哥特瓦尔德 196-1953
- 1955
-
- 哥德尔、艾舍尔、巴赫 集异璧之大成
- 1996 北京:商务印书馆
-
- 房中鸟
- 1995 石家庄:河北教育出版社
-
- 哲理的沉思 哲人科学家-哥德尔
- 1999 福州:福建教育出版社
-
- 哥德尔不完全性定理
- 1997 沈阳:辽宁教育出版社
-
- 不受审判的哥尔查科夫
- 1975 上海:上海人民出版社
-
- 哥哥你不成材
- 1992 北京:作家出版社
-
- 数理逻辑发展史 从莱布尼茨到哥德尔
- 1993 北京:社会科学文献出版社
-
- 斯德哥尔摩人
- 1988 工人出版社
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD