《图灵的秘密：他的生平、思想及论文解读》 [美]Charles Petzold

推荐理由：

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型。此书深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》，在详解论文的同时，还附带了大量的历史背景资料、图灵的个人经历，以及图灵机对人们理解计算机、人类意识和宇宙所产生的影响。此书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平以及他构建图灵机的思维过程的读者阅读。

新闻推荐

七招让孩子爱吃蔬菜

不爱吃蔬菜是小朋友们的“通病”。近日，英国“对话新闻网”报道称，除了把菜做成馅，或逼迫孩子吃完才能离开餐桌这两个常见招数，父母们不妨试试下面的办法。妈妈怀孕时多吃蔬菜。有研究显示，孩子对食物...