Engines of Logic 在線電子書 圖書標籤: 邏輯  計算機科學  數學  科普  計算機  logic  mathematics  經典   

喜歡 Engines of Logic 在線電子書 的讀者還喜歡

• 
  The Emperor's New Mind 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  A Mind at Play 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Operating Systems 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Logicomix 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Mathematics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  The Little Schemer - 4th Edition 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Computer Systems 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Computability, Complexity, and Languages, Second Edition 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  How to Design Programs 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

感覺就是介紹每個人物的生平然後再簡略介紹下工作。。。

終於乘下雪的夜晚讀完瞭計算機史，簡直就是一部麯摺蔓延偉大的數學史啊！從萊布尼茨開創微積分，喬治布爾用0/1將邏輯化為代數（哲學）到 弗雷格發明邏輯學的基本形式符號，康托爾的離散數學（實數和自然數的連續性以及對角綫證明）。希爾伯特那段元數學把我嚇得不輕，差點忽略瞭重要的希爾伯特23問和判定性問題。哥德堡近乎是全書裏立大功的人，除開哥德堡不完備定律（第三次數學危機啊），他所建立在邏輯公式下的符號語言太驚艷瞭，就是最最最基礎的Coding編程，程序語言啊。圖靈果然也是真愛，圖靈機判斷奇偶和無法解決的判斷問題那兩段證明太帥瞭，到這時纔算真正的Compuation概念應用。至於諾依曼以計算機之父齣場製造EDVAC時，上追羅素、泛及康德和維特根斯坦的（數學、哲學、邏輯、語言學）計算機史將更加輝煌 M.

終於乘下雪的夜晚讀完瞭計算機史，簡直就是一部麯摺蔓延偉大的數學史啊！從萊布尼茨開創微積分，喬治布爾用0/1將邏輯化為代數（哲學）到 弗雷格發明邏輯學的基本形式符號，康托爾的離散數學（實數和自然數的連續性以及對角綫證明）。希爾伯特那段元數學把我嚇得不輕，差點忽略瞭重要的希爾伯特23問和判定性問題。哥德堡近乎是全書裏立大功的人，除開哥德堡不完備定律（第三次數學危機啊），他所建立在邏輯公式下的符號語言太驚艷瞭，就是最最最基礎的Coding編程，程序語言啊。圖靈果然也是真愛，圖靈機判斷奇偶和無法解決的判斷問題那兩段證明太帥瞭，到這時纔算真正的Compuation概念應用。至於諾依曼以計算機之父齣場製造EDVAC時，上追羅素、泛及康德和維特根斯坦的（數學、哲學、邏輯、語言學）計算機史將更加輝煌 M.

宋老師推薦的科普書，寫的非常漂亮，不過還是有不少地方沒看懂

作者所講述的曆程大多耳熟能詳，唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識，作者還順便講瞭不少八卦，頗有趣味。文末說，除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用，無心插柳柳成行，科學的前進總是齣乎意料，故而切莫短視，對科學傢感到不耐煩，那一丁點牢騷，的確真實。

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...  

推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...  

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。  

// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...  

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...