模板788
| |
| 书名：图灵的秘密：他的生平、思想及论文解读 |
| ISBN:9787115282149 |
定价：69.00元 |
装帧：平装 |
是否套装书：否 |
| 出版时间：2015年02月 |
页数：344页 |
开本：小16开 |
单色/彩色：单色 |
|
| |
| 对计算机科学之父阿兰·图灵思想和生平的深入解读 讲述图灵的人生、密码分析的秘密工作、对人工智能的思索 既有图灵成长的传奇经历，也有对图灵的理论全面解读 美国著明的技术作家、微软的MVP耗时多年深入剖析 |
|
| |
| [美]Charles Petzold 著 Charles Petzold，Windows编程大师、世界技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为唯一的作家，获得由微软公司和Windows Magazine授予的Windows先锋奖（仅7人获奖），直到今天，他依然是Windows GDI程序设计首席技术作家。他出版过十几本著作，其中包括Win32 API编程经典《Windows程序设计》《编码》等。 |
|
| |
| 图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，《图灵的秘密：他的生平、思想及论文解读》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，附带了大量的历史背景资料、图灵的个人经历，以及图灵机对人们理解计算机、人类意识和宇宙所产生的影响。 《图灵的秘密：他的生平、思想及论文解读》适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平以及他构建图灵机的思维过程的读者阅读。 |
|
| |
| 第一部分 基础
第1章 这个墓穴埋葬着丢番图 2
第2章 无理数和数 10
第3章 几个世纪以来的发展 28
第二部分 可计算数
第4章 图灵的学业 48
第5章 运作的机器 69
第6章 加与乘 86
第7章 子程序 97
第8章 万物皆数字 114
第9章 通用机 130
第10章 计算机与可计算性 150
第11章 机器与人 175
第三部分 判定性问题
第12章 逻辑与可计算性 188
第13章 可计算函数 216
第14章 主要证明 244
第15章 λ演算 266
第16章 对连续统的设想 285
第四部分 题外话
第17章 万物皆是图灵机？ 310
第18章 长眠的丢番图 333
参考文献 341 |
|
内容介绍
------
图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，《图灵的秘密：他的生平、思想及论文解读》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，附带了大量的历史背景资料、图灵的个人经历，以及图灵机对人们理解计算机、人类意识和宇宙所产生的影响。 《图灵的秘密：他的生平、思想及论文解读》适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平以及他构建图灵机的思维过程的读者阅读。
目录
------
