圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
发表于2024-11-25
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
看的腦闊疼……
評分靠近神的領域。
評分作者對推動計算機發展的邏輯發展史給齣瞭一個十分全麵的描繪,書中各種觀念和概念的解釋也跟到位,信息量很大,但也有很多地方解釋的不夠透徹,可以以這本書為框架再分彆對裏麵的概念進行研究。 此外,該書的排版實在有點隨便瞭。 ps:話說推理和演算的關係到底該如何理解?
評分一般
評分有些地方的翻譯-1星 有些看不懂 momo送的
计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
評分去图书馆翻了一本中意的书出来,叫逻辑的引擎。还没有细细地看,只是粗翻了一下,大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然,它更像是一部计算机发展(逻辑上,而非工程上)简史。 说它是传记,甚至说是历史,但是它不是那么地容易读的,读者需要...
評分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
評分邏輯的引擎 pdf epub mobi txt 電子書 下載 2024