请访问新站:https://www.dashujia.com

作品简介

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。

书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。

Charles Petzold

Windows编程界大师,世界顶级技术作家。1994年5月,Petzold作为仅有的七个人之一(并且是唯一的作家)被《Window Magazine》和Microsoft公司授予Windows Pioneer奖,以表彰他对 Microsoft Windows的成功做出的贡献。Charles Petzold从1984年开始编写个人计算机程序,从1985年开始编写 Microsoft Windows程序。他在《Microsoft Systems Joumal》1986年 12月号上发表了第一篇关于Windows程序设计的杂志论文。从1986年到1995年,他为《PC Magazine》撰写“Environments”专栏,给读者介绍了Windows和OS/2程序设计的许多方面。 直到今天他依然维持 Windows GDI 程序设计首席技术作家的地位。其大作:《Windows程序设计》是尽人皆知的Win32 API编程经典,也称为“Petzold Book”,学习Win32 API编程的人几乎都从这本书入手。

作品目录

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