图灵的秘密 他的生平、思想及论文解读[Charles Petzold]pdf格式电子版百度云网盘下载[58.3M]
来源:未知
编辑:佚名
时间:2021-10-09
内容简介
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
目 录
第一部分 基 础
第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
· · · · · ·
百度网盘下载地址:
提取码
相关文章:
- [其它]第六章使用Callable和Future的JavaExecutorService示例|
- [其它]第五章java中notify和notifyAll的区别|
- [其它]第五章java中的对象级锁定与类级锁定|
- [其它]第五章java中进程和线程的区别|
- [其它]第五章如何使用java中的线程打印偶数和奇数|
- [其它]第五章Java中的wait、notify和notifyAll方法示例|
- [其它]第五章java中的守护线程与示例|
- [其它]第五章Java线程休眠|
- [其它]第四章java中ArrayList和LinkedList的区别|
- [其它]第四章java中HashMap和HashSet的区别|
相关推荐:
- [其它]第三章java中的抽象类|
- [其它]第四章java中的TreeMap与示例|
- [其它]第四章java中的hashcode()和equals()方法|
- [其它]第六章JavaFutureTask示例|
- [其它]计算机组成原理PDF扫描格式电子版百度云网盘下载
- [其它]程序设计语言概念(第9版)[Robert W. Sebesta]pdf格式电子版百度云网盘下载[53.8M]
- [其它]程序员必读之软件架构[Simon Brown]pdf格式电子版百度云网盘下载[41.6M]
- [其它]程序员的思维修炼 开发认知潜能的九堂课[Andy Hunt]pdf格式电子版百度云网盘下载
- [其它]程序员的职业素养[Robert C. Martin]pdf格式电子版百度云网盘下载[21.6M]
- [其它]程序员教程(第3版)[张淑平]pdf格式电子版百度云网盘下载[136.5M]
栏目分类
最新文章
热门文章
- 计算机组成原理PDF扫描格式电子版百度云网盘下载
- 硅谷之谜[吴军]pdf格式电子版百度云网盘下载[59.5M]
- 自选基金助手,一款Chrome扩展程序
- 七周七语言 理解多种编程范型[Bruce A. Tate]pdf格式电子版百度云网盘下载[9M]
- 系统集成项目管理工程师考试考眼分析与样卷解析(2014版)[软考新大纲研究组]
- 程序员面试金典(第5版)[Gayle Laakmann McDowell]pdf格式电子版百度云网盘下载[81.5M]
- 创业维艰 如何完成比难更难的事[Ben Horowitz]pdf格式电子版百度云网盘下载[65.3
- 程序员的思维修炼 开发认知潜能的九堂课[Andy Hunt]pdf格式电子版百度云网盘下载
- 图灵的秘密 他的生平、思想及论文解读[Charles Petzold]pdf格式电子版百度云网盘下
- OCP OCA认证考试指南全册:Oracle Database 11g(1Z0-051、1Z0-052、1Z0-053)[John Watson]pdf格式