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

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

• 
  皇帝新腦 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 電子書 下載

講解瞭計算機前身與其理論來源，可以理解為一部曆史書。感覺看完吸收的很少。

現代計算機的大廈是用許多不起眼卻重要的磚塊建起來的，數學邏輯是其中重要的一部分。本書以數學史上重要的科學傢為主綫，將數學邏輯符號化可運算的發展曆史娓娓道來.

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

瞭解真實的曆史

「除瞭圖靈，他們之中沒有一個人意識到自己的工作可以被如此應用。」

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

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

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

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

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...