图书标签: 计算机  传记  历史  图灵  图灵奖  计算机科学  科学史  IT传记   

喜欢 ACM图灵奖 的读者还喜欢

• 
  The Design and Analysis of Computer Algorithms pdf epub mobi txt 电子书 下载
• 
  Out of their Minds pdf epub mobi txt 电子书 下载
• 
  数据库系统实现 pdf epub mobi txt 电子书 下载
• 
  人工智能 pdf epub mobi txt 电子书 下载
• 
  人工智能 pdf epub mobi txt 电子书 下载
• 
  深度探索关系数据库 pdf epub mobi txt 电子书 下载
• 
  操作系统设计：Xinu方法 pdf epub mobi txt 电子书 下载
• 
  Writing Solid Code pdf epub mobi txt 电子书 下载
• 
  计算机程序设计艺术卷1：基本算法(英文版.第3版) pdf epub mobi txt 电子书 下载
• 
  人工智能 pdf epub mobi txt 电子书 下载

3.5星，流水账，不过大师们的经历仍然给了很多的鸡血与感动。

GOTO有害：程序的易读性和易理解性和无条件转移控制的个数成反比；程序测试只能证明有错，决不能证明无错Edsger W. Dijkstra。最弱前置条件方法：将程序设计看做面向目标的活动，编程就是从给定的后断言出发，逆向的逐步推导出满足它的程序 同时计算出所需最弱前置条件 它是一个谓词公式。好的结构 问题能定量描述 有特定的目标函数 有最优算法。公理语义学和标志语义学（语言和数学对象对应 映射是层次且函数是递归的）。代换模型 的基本思想就是函数在计算过程中不断的修改目标，直到计算的目标是最小单元为止，这种方式不再有变量的概念，所有的目标均是通过计算获得

喜马拉雅听完的…无限敬仰之情…

cs的学生还是应该了解一下

人物小传。

初次读这本书，应该是四五年前了，今天又拿到这本书的再版，翻开以后，仔细看了看，说说几点感受吧。 1　从获奖者的得奖的时间以及得奖的原因来看，一般获奖者的成果都是在最少10年，20年前，甚至有在30多年前做出的，和诺贝尔奖有点类似，如69、71、75这几年的都是发给50年代...  

作为一个计算机专业的毫无基础的学生，学习专业已经又一年了。平时学习还算用心，可以应付考试，然而，一直觉得这条路走下去没什么希望，因为一切对我来说都是那么陌生，我大致熟悉了C++可是像LISP,DB2，Fortran这样一些名词总弄得我晕晕乎乎，从来没听过的缩写词汇让我每次看...

作为一个计算机专业的毫无基础的学生，学习专业已经又一年了。平时学习还算用心，可以应付考试，然而，一直觉得这条路走下去没什么希望，因为一切对我来说都是那么陌生，我大致熟悉了C++可是像LISP,DB2，Fortran这样一些名词总弄得我晕晕乎乎，从来没听过的缩写词汇让我每次看...

我一向认为，学一门专业就应该尽可能多的了解相关历史，从历史中你会发现很多有意思的东西。本来看似刻板的知识一旦知道了它诞生的历程，那就立刻充满了人情味儿。图灵奖是计算机界的最高奖项，获奖者均是对计算机科学有着深远影响的人物。本书通过对几十位获奖者的生平和学术...  

我一向认为，学一门专业就应该尽可能多的了解相关历史，从历史中你会发现很多有意思的东西。本来看似刻板的知识一旦知道了它诞生的历程，那就立刻充满了人情味儿。图灵奖是计算机界的最高奖项，获奖者均是对计算机科学有着深远影响的人物。本书通过对几十位获奖者的生平和学术...