下载地址:网盘下载

图灵的秘密:他的生平、思想及论文解读 内容简介:

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,佩措尔德编 著的《图灵的秘密:他的生平、思想及论文解读》深入剖析了图灵描述图灵 机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详 解论文的同时,附带了大量的历史背景资料、图灵的个人经历,以及图灵机 对人们理解计算机、人类意识和宇宙所产生的影响。

《图灵的秘密:他的生平、思想及论文解读》适合所有计算机科学专业 的学生、程序员或其他技术人员,同时也适合欲了解图灵生平以及他构建图 灵机的思维过程的读者阅读。

图灵的秘密:他的生平、思想及论文解读 目录:

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

下载地址:网盘下载

转载于:https://www.cnblogs.com/long12365/p/9730393.html

图灵的秘密:他的生平、思想及论文解读pdf相关推荐

  1. 图灵的秘密:他的生平、思想及论文解读,读后感

    上一篇文章,我说我要读一下,图灵的论文,于是下了一篇对他生平和论文解读的书.于是非常合理的,又一次经历了从入门到放弃,我发现我除了对图灵的生平事迹,同性恋,冯诺依曼比他大还给他写过推荐信,最早的一种水 ...

  2. 【民间图灵奖】读《图灵的秘密》写读后感获图灵水杯

    英国著名数学家.逻辑学家,阿兰•图灵(1912-1954)是计算机和计算机科学的理论奠基人.他出生于1912年6月23日,被称为计算机科学之父.人工智能之父,提出了"图灵机"和&q ...

  3. 《图灵的秘密》读后感

    转载:http://www.ituring.com.cn/article/37819 <图灵的秘密>是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,la ...

  4. java排序的例子_Java的8大排序的基本思想及实例解读

    本文主要详解了Java语言的8大排序的基本思想以及实例解读,详细请看下文: 8种排序之间的关系: 1, 直接插入排序 (1)基本思想:在要排序的一组数中,假设前面(n-1)[n>=2] 个数已经 ...

  5. ACL 2018论文解读 | 基于排序思想的弱监督关系抽取选种与降噪算法

    在碎片化阅读充斥眼球的时代,越来越少的人会去关注每篇论文背后的探索和思考. 在这个栏目里,你会快速 get 每篇精选论文的亮点和痛点,时刻紧跟 AI 前沿成果. 点击本文底部的「阅读原文」即刻加入社区 ...

  6. 1967年图灵奖--莫里斯·威尔克斯生平

    大家好,我是执念斩长河.今天讲述的是莫里斯·威尔克斯的获奖之路.1967年第二届图灵奖颁布给他表彰他为第一台存储程序式电子计算机EDSAC以及其他许多方面的杰出贡献.看完本篇博文大家可以收获的是: E ...

  7. 1966年图灵奖--艾伦·佩利生平

    大家好,我是执念斩长河,今天讲述艾伦·佩利的故事.他是图灵奖首届获奖者!本篇博文主要从艾伦佩利的为计算机所做的贡献:ALGOL和计算机科学专业的催生者. 谈起ALGOL大家肯定不是特别了解,但是你看完 ...

  8. 1968年图灵奖--理查德·哈明生平

    大家好我是执念斩长河,今天要讲述的是1968年图灵奖获得者理查德·哈明,一位在编码校验中取得卓越贡献的人.读完本篇博文大家可以收获的是: 哈明码是什么及其用途 哈明码底层原理 哈明码与奇偶校验的关系 ...

  9. BCJC 6O《图灵的秘密》读书笔记10纽曼与算法

    剑桥大学的数理逻辑大拿证明不确定性定理.并首次提出了"算法"概念. 算法:解决某个问题的一组明确的指令集. 算法是对解决一类问题(过程)思路的描述.

最新文章

  1. Windows下安装ElasticSearch6.3.1以及Head插件
  2. 病毒周报(100719至100725)
  3. php数组转xml文件,php数组转换成xml格式的实现方法
  4. 第十四章 降维操作-机器学习老师板书-斯坦福吴恩达教授
  5. IDEA换行CRLF, LF, CR的解释和默认设置
  6. Redis 中 Lua 脚本的应用和实践
  7. 搞事情的程序语法基础
  8. 【NLP基础】手把手带你fastText文本分类(附代码)
  9. 袁承兴:Rust异步编程 Pinning
  10. EnableViewState和EnableTheming的作用
  11. Linux Shell脚本文本三剑客之AWK
  12. Windows 服务快捷启动命令
  13. 人脸对齐:Procrustes analysis 普氏分析
  14. C语言编写一个掷骰子猜大小游戏,用C语言模拟一种掷骰子游戏
  15. CSDN日报190910:程序员都秃头,商务个个是人精
  16. 运动会加油稿计算机学院,学院运动会加油稿范文
  17. 去掉word中的页眉
  18. __stack_chk_fail之栈帧溢出检测技术
  19. Win10本地配置完hadoop_home任然报错Could not locate executable null\bin\winutils.exe in the Hadoop binaries.
  20. 如何安装markman

热门文章

  1. Java 计算学生的平均成绩
  2. ASP.NET 父页面取子页面的值
  3. 关于node-sass安装失败的解决办法
  4. CentOS7-64bit 编译 Hadoop-2.5.0,并分布式安装
  5. Linux安装gitbook
  6. 【转】复盘一次失败的技术面试后,我成功拿到了5个offer
  7. Android开发之SpannableString具体解释
  8. John细说PHP的验证码
  9. C++编程-预定义宏
  10. 【数据结构作业心得】4-0 二叉树