圖書標籤: 邏輯  計算機科學  數學  科普  計算機  logic  mathematics  經典   

喜歡 Engines of Logic 的讀者還喜歡

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

From Math to Computer Science

From Math to Computer Science

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

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

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

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

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

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

很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...