馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
發表於2024-12-22
邏輯的引擎 2024 pdf epub mobi 電子書 下載
(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...
評分* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
評分這本書的主要內容就是介紹數學中的一些最基本的思想是如何一步步發展成為計算機的理論基礎的。 作者本人是學數學齣身的,後來從計算機誕生之時起就從事相關工作,作為一個專業人員來解釋相關的內容,確實是遊刃有餘。 作者從數學專業本身齣發解釋一些用於計算機的數理邏輯的問...
評分推薦程度:最好的科普之一,考慮到CS的學生對計算理論的數學根基掌握不是很好,本書很有幫助。 主題:這本書介紹的是自動計算思想發展的曆史。 內容:不僅僅是科學傢佚事的八卦,還把基本(數學)問題的思想史講得很清楚。 原作者:大牛境界,從本質層次深入淺齣的講到瞭計...
評分去圖書館翻瞭一本中意的書齣來,叫邏輯的引擎。還沒有細細地看,隻是粗翻瞭一下,大概就是一個對計算機邏輯模型有巨大貢獻的科學傢的一個小小的傳記。當然,它更像是一部計算機發展(邏輯上,而非工程上)簡史。 說它是傳記,甚至說是曆史,但是它不是那麼地容易讀的,讀者需要...
圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
康托爾連續統假設、哥德爾不完備性定理、邏輯與機器的關係沒有明白
評分瞭解真實的曆史
評分翻譯有些拗口的地方 讀的好痛苦…
評分「除瞭圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
評分一部邏輯學在計算機方麵的發展史,可以看到巨星閃耀
邏輯的引擎 2024 pdf epub mobi 電子書 下載