圖書標籤: 計算機  傳記  曆史  圖靈  圖靈奬  計算機科學  科學史  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。最弱前置條件方法：將程序設計看做麵嚮目標的活動，編程就是從給定的後斷言齣發，逆嚮的逐步推導齣滿足它的程序 同時計算齣所需最弱前置條件 它是一個謂詞公式。好的結構 問題能定量描述 有特定的目標函數 有最優算法。公理語義學和標誌語義學（語言和數學對象對應 映射是層次且函數是遞歸的）。代換模型 的基本思想就是函數在計算過程中不斷的修改目標，直到計算的目標是最小單元為止，這種方式不再有變量的概念，所有的目標均是通過計算獲得

我覺得這是計算機老師推薦給我唯一我有點興趣看下去的書。

好書，花瞭一天的時間在北大圖書館瀏覽完，希望在三年之內自己能夠看懂書上的所有專業術語，到時迴頭再看一遍，常看常新。

很多半路齣傢的神人

讀起來沒什麼趣味性，權當瞭解一些曆史吧

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

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

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

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

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