圖書標籤: 計算機  邏輯學  科普  數學  邏輯  第一推動叢書  計算機科學  科學   

喜歡 邏輯的引擎 的讀者還喜歡

• 
  皇帝新腦 pdf epub mobi txt 電子書 下載
• 
  時間、空間和萬物 pdf epub mobi txt 電子書 下載
• 
  大宇之形 pdf epub mobi txt 電子書 下載
• 
  四維旅行 pdf epub mobi txt 電子書 下載
• 
  尋找希格斯粒子 pdf epub mobi txt 電子書 下載
• 
  復雜的引擎 pdf epub mobi txt 電子書 下載
• 
  計算進化史 pdf epub mobi txt 電子書 下載
• 
  人工智能的進化 pdf epub mobi txt 電子書 下載
• 
  深入理解程序設計 pdf epub mobi txt 電子書 下載
• 
  物理天文學前沿 pdf epub mobi txt 電子書 下載

老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL，等等，內容應該可以再豐富、再跌宕起伏一些吧？

關於希爾伯特和哥德爾的部分沒太讀懂，但是對於圖靈機的引入和介紹都十分優秀。

看的腦闊疼……

數理邏輯推薦的科普讀物，作為數理邏輯科普的話隻看圖靈之前就可以瞭，但如果這樣，這本書寫的過於“普”瞭；我更推薦《哥德爾證明》。/ 圖靈之後對於計算機的介紹更適閤我們這些哲學係學生，但是過於技術的內容不太感興趣所以隻是草草翻過。/ 另外作者把人物軼事和理論混在一起的寫法實在不好，而且人物軼事過豐富瞭… / 但還是補瞭很多課，最重要的是布爾和康托爾，這兩個人並沒有在《哥德爾證明》那本書中單獨齣現。

電子計算機的本質就是根據預先設定的邏輯演算規則，對輸入的數學命題進行自動演算，最終輸齣結果。而為瞭實現這一程序化計算的小目標，萊布尼茲，布爾，弗雷格，羅素，康托爾，希爾伯特，哥德爾，圖靈，馮諾依曼等，曆史上的這些數學傢們在突破到絕望的來迴拉鋸戰中，終於搭建齣一套雖不完美，但總算可以落到實地的基礎理論，基礎科學的進步難度由此可見一斑

计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...  

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...  

这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的，后来从计算机诞生之时起就从事相关工作，作为一个专业人员来解释相关的内容，确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...  

“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...