展开全部

主编推荐语

这本书既有图灵成长的传奇经历,也有对图灵的理论全面解读。

内容简介

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,《图灵的秘密》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,附带了大量的历史背景资料、图灵的个人经历,以及图灵机对人们理解计算机、人类意识和宇宙所产生的影响。

《图灵的秘密》适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平以及他构建图灵机的思维过程的读者阅读。

目录

  • 版权信息
  • 引言
  • 第一部分 基础
  • 第1章 这个墓穴埋葬着丢番图
  • 第2章 无理数和超越数
  • 第3章 几个世纪以来的发展
  • 第二部分 可计算数
  • 第4章 图灵的学业
  • 第5章 运作的机器
  • 第6章 加与乘
  • 第7章 子程序
  • 第8章 万物皆数字
  • 第9章 通用机
  • 第10章 计算机与可计算性
  • 第11章 机器与人
  • 第三部分 判定性问题
  • 第12章 逻辑与可计算性
  • 第13章 可计算函数
  • 第14章 主要证明
  • 第15章 λ演算
  • 第16章 对连续统的设想
  • 第四部分 题外话
  • 第17章 万物皆是图灵机?
  • 第18章 长眠的丢番图
  • 参考文献
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

人民邮电出版社·图灵出品

图灵社区成立于2005年6月,由人民邮电出版社投资控股,以策划出版高质量的科技书籍为核心业务,主要出版领域包括计算机、电子电气、数学统计、科普等,通过引进国际高水平的教材、专著,以及发掘国内优秀原创作品等途径,为目标读者提供一流的内容。