計算進化史 在線電子書 圖書標籤: 數學  科普  計算機  計算機科學  計算  曆史  數學文化  計算機/互聯網   

喜歡 計算進化史 在線電子書 的讀者還喜歡

• 
  論可計算數 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  迷茫的旅行商 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數學萬花筒2（修訂版） 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  不可思議的數 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  最佳可能的世界 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Nine Algorithms That Changed the Future 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  計算機：一部曆史 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  普林斯頓數學指南（第二捲） 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  圖靈的大教堂 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  編程匠藝 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

證明包括公理、演繹規則和計算規則。計算機這個工具對數學來說越來越重要瞭，或者說計算機是一種越來越重要的工具，需要從娃娃抓起。本書不理解的地方多。

太難看懂瞭。。。

有些和SICP類似的觀點，基本上是在講算法和推理的糾纏。看完瞭還是不懂lambda和圖靈機。

後半段還是感覺晦澀瞭些，不太能跟上思路，並不像通常讀科普的感覺，更接近語言學邏輯學的思辨。當然討論數學本質不可避免要從這樣的角度纔能深入。

後半段還是感覺晦澀瞭些，不太能跟上思路，並不像通常讀科普的感覺，更接近語言學邏輯學的思辨。當然討論數學本質不可避免要從這樣的角度纔能深入。

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...