馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
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-01-21
The Universal Computer 2025 pdf epub mobi 電子書 下載
如今計算機已成為人類社會生活必不可少的一部分,潛入瞭人類社會生活的方方麵麵,計算機技術不僅促進瞭現代社會,而且也是現代社會的一個特徵。在人們的觀念中,計算機技術發展不過一個世紀,但其突飛猛進的發展速度已經超過瞭其他任何技術的發展;特彆是近30年來,材料、工程...
評分(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...
評分每一章內各小節的組織比較亂,八卦夾雜在一起容易忘掉這人到底乾瞭些什麼。理瞭下我對他們貢獻的理解。 1.萊布尼茲大神最早提齣一個想法,我們的宇宙可以由一種符號推理演算來錶示。 2.喬治·布爾把邏輯學納入瞭數學的範疇,即布爾代數。 3.弗雷格發行瞭形式句法,使後人可...
評分* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
圖書標籤: 計算機 科學 數學 邏輯 計算機科學 學術 曆史 The
因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
The Universal Computer 2025 pdf epub mobi 電子書 下載