内容描述
书籍简介：
图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，佩措尔德编 著的《图灵的秘密：他的生平、思想及论文解读》深入剖析了图灵描述图灵 机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详 解论文的同时，附带了大量的历史背景资料、图灵的个人经历，以及图灵机 对人们理解计算机、人类意识和宇宙所产生的影响。 《图灵的秘密：他的生平、思想及论文解读》适合所有计算机科学专业 的学生、程序员或其他技术人员，同时也适合欲了解图灵生平以及他构建图 灵机的思维过程的读者阅读。
目录：
第一部分 基础第1章 这个墓穴埋葬着丢番图第2章 无理数和超越数第3章 几个世纪以来的发展第二部分 可计算数第4章 图灵的学业第5章 运作的机器第6章 加与乘第7章 子程序第8章 万物皆数字第9章 通用机第10章 计算机与可计算性第11章 机器与人第三部分 判定性问题第12章 逻辑与可计算性第13章 可计算函数第14章 主要证明第15章 λ演算第16章 对连续统的设想第四部分 题外话第17章 万物皆是图灵机？第18章 长眠的丢番图
下载地址
| 文件名称 | 下载链接 |
|---|---|
| [图灵的秘密：他的生平、思想及论文解读].杨卫东.扫描版.pdf | 点击下载 |
