图书标签: 计算机  传记  历史  图灵  图灵奖  计算机科学  科学史  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 电子书 下载

很多半路出家的神人

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

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

拓展视野。

有点啰嗦，要是能写得像一个优美的程序就好了

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

断断续续的终于把它看完了，其实，这本书暑假第一次我在图书馆里看到的时候，已经让我激动无比，爱不释手了。看了这么久倒是因为我不允许自己太快把它看完罢了。 从小就喜欢看伟人传记，应该说我第一本看完的书就是《爱迪生传》，从那时起我深深地爱上了看书，也...  

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

断断续续的终于把它看完了，其实，这本书暑假第一次我在图书馆里看到的时候，已经让我激动无比，爱不释手了。看了这么久倒是因为我不允许自己太快把它看完罢了。 从小就喜欢看伟人传记，应该说我第一本看完的书就是《爱迪生传》，从那时起我深深地爱上了看书，也...  

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