图书介绍

HILBERTpdf电子书版本下载

HILBERT
  • 李国伟译 著
  • 出版社: 徐氏基金会
  • ISBN:
  • 出版时间:1973
  • 标注页数:42页
  • 文件大小:2MB
  • 文件页数:50页
  • 主题词:

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
下载压缩包 [复制下载地址] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页

下载说明

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

精品推荐