书名
作者
(美) Charles Petzold著;杨卫东,朱皓等译
出版社
人民邮电出版社
出版日期
2012
内容简介
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
索书号
K835.61/116
馆藏信息
请点击这里
推介信息发布时间:2013-01-08
上一篇: 论中国
下一篇: 王二的经济学故事