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.
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
評分 評分 評分用圖靈在一次演講的話可以貫穿本書的核心內容: ”我希望數字計算機能夠最終激起人們對符號邏輯的極大興趣······人與這些機器進行交流的語言······構成瞭一種符號邏輯。“ 圖靈通過細緻的觀察基本的數學運算,並將數學運算符號化為五元運...
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
评分中文版叫“邏輯的引擎”
评分中文版叫“邏輯的引擎”
评分中文版叫“邏輯的引擎”
评分中文版叫“邏輯的引擎”
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2026 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有