ACM圖靈奬 在線電子書 圖書標籤: 計算機  傳記  曆史  圖靈  圖靈奬  計算機科學  科學史  IT傳記   

喜歡 ACM圖靈奬 在線電子書 的讀者還喜歡

• 
  The Design and Analysis of Computer Algorithms 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Out of their Minds 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數據庫係統實現 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  人工智能 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  人工智能 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  深度探索關係數據庫 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  操作係統設計：Xinu方法 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Writing Solid Code 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  計算機程序設計藝術捲1：基本算法(英文版.第3版) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  人工智能 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

一個個大師是我前行的燈塔

人物小傳。

GOTO有害：程序的易讀性和易理解性和無條件轉移控製的個數成反比；程序測試隻能證明有錯，決不能證明無錯Edsger W. Dijkstra。最弱前置條件方法：將程序設計看做麵嚮目標的活動，編程就是從給定的後斷言齣發，逆嚮的逐步推導齣滿足它的程序 同時計算齣所需最弱前置條件 它是一個謂詞公式。好的結構 問題能定量描述 有特定的目標函數 有最優算法。公理語義學和標誌語義學（語言和數學對象對應 映射是層次且函數是遞歸的）。代換模型 的基本思想就是函數在計算過程中不斷的修改目標，直到計算的目標是最小單元為止，這種方式不再有變量的概念，所有的目標均是通過計算獲得

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

計算機專業的同學務必請閱。

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

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

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

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

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