馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.
發表於2024-11-25
Engines of Logic 2024 pdf epub mobi 電子書 下載
* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
評分 評分(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...
評分“我們常常從工程的角度去理解計算機,卻沒有機會去瞭解工程背後的邏輯學傢和他們的理論。” 看瞭這本書之後真的還是受益非淺。從萊布尼茲到馮諾依曼,幾代人對計算、對邏輯苦苦的追尋和貢獻。 這本書有幾個沒想到: 1. 生動,平實。很多數學原理講解地非常淺顯易懂。 2. 不...
圖書標籤: 邏輯 計算機科學 數學 科普 計算機 logic mathematics 經典
英文原書不好讀,充斥瞭大量的長難句和曆史背景。但書的內容沒得說,可以作為邏輯與計算的學習主綫
評分作者所講述的曆程大多耳熟能詳,唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識,作者還順便講瞭不少八卦,頗有趣味。文末說,除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用,無心插柳柳成行,科學的前進總是齣乎意料,故而切莫短視,對科學傢感到不耐煩,那一丁點牢騷,的確真實。
評分作者所講述的曆程大多耳熟能詳,唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識,作者還順便講瞭不少八卦,頗有趣味。文末說,除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用,無心插柳柳成行,科學的前進總是齣乎意料,故而切莫短視,對科學傢感到不耐煩,那一丁點牢騷,的確真實。
評分感覺就是介紹每個人物的生平然後再簡略介紹下工作。。。
評分who knows all the great mathmaticians all struggled with god's existence ...
Engines of Logic 2024 pdf epub mobi 電子書 下載