馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.
發表於2025-03-12
The Universal Computer 2025 pdf epub mobi 電子書 下載
推薦程度:最好的科普之一,考慮到CS的學生對計算理論的數學根基掌握不是很好,本書很有幫助。 主題:這本書介紹的是自動計算思想發展的曆史。 內容:不僅僅是科學傢佚事的八卦,還把基本(數學)問題的思想史講得很清楚。 原作者:大牛境界,從本質層次深入淺齣的講到瞭計...
評分這本書的主要內容就是介紹數學中的一些最基本的思想是如何一步步發展成為計算機的理論基礎的。 作者本人是學數學齣身的,後來從計算機誕生之時起就從事相關工作,作為一個專業人員來解釋相關的內容,確實是遊刃有餘。 作者從數學專業本身齣發解釋一些用於計算機的數理邏輯的問...
評分很美很感人的科普著作,對於計算機科學中基本概念發展史上重要數學傢數理邏輯學傢的溫情脈脈的描述呈現齣真正富有智慧的人麵對無盡的自然界奧秘時的注定的悲哀。在某本書裏看到的,“真正的智慧,從覺醒之日起,就包含著絕望的悲哀。” 本書對於希望從數理科學角度思考邏輯學本...
評分* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
圖書標籤: 計算機 科學 數學 邏輯 計算機科學 學術 曆史 The
因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分中文版叫“邏輯的引擎”
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
The Universal Computer 2025 pdf epub mobi 電子書 下載