邏輯的引擎 在線電子書 圖書標籤: 計算機  邏輯學  科普  數學  邏輯  第一推動叢書  計算機科學  科學   

喜歡 邏輯的引擎 在線電子書 的讀者還喜歡

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

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

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

瞭解真實的曆史

看的腦闊疼……

有些地方的翻譯-1星 有些看不懂 momo送的

（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...  

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

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