图书介绍
HILBERTpdf电子书版本下载
- 李国伟译 著
- 出版社: 徐氏基金会
- ISBN:
- 出版时间:1973
- 标注页数:42页
- 文件大小:2MB
- 文件页数:50页
- 主题词:
PDF下载
下载说明
HILBERTPDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第一章 导言 1
第一章 递回可计数关系 2
第三章 戴氏关系及Matiiasevic定理 7
第四章 戴氏关系的三个引理 9
第五章 引理4.1及定理3.1之证明 16
第六章 第十问题与Church学说 28
附录一 每一自然数为四整数平方和之证明 30
附录二 量词前置运算法 32
附录三 中国剩余定理之证明 33
附录四 RE关系与RE*关系 34
附录五 校阅?释 35
文献 40
中英名词对照表 41