Engines of Logic pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Martin Davis

W. W. Norton & Company

2001-09

272

USD 19.95

Paperback

9780393322293

圖書標籤: 邏輯計算機科學數學科普計算機 logic mathematics 經典

喜歡 Engines of Logic 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-09-27

Engines of Logic epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Engines of Logic pdf epub mobi txt 電子書下載 2024

圖書描述

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.

Engines of Logic 下載 mobi epub pdf txt 電子書

著者簡介

馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯剋利分校做訪問學者。

圖書目錄

Engines of Logic pdf epub mobi txt 電子書下載

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

用戶評價

評分☆☆☆☆☆

感覺就是介紹每個人物的生平然後再簡略介紹下工作。。。

評分☆☆☆☆☆

who knows all the great mathmaticians all struggled with god's existence ...

評分☆☆☆☆☆

宋老師推薦的科普書，寫的非常漂亮，不過還是有不少地方沒看懂

評分☆☆☆☆☆

終於乘下雪的夜晚讀完瞭計算機史，簡直就是一部麯摺蔓延偉大的數學史啊！從萊布尼茨開創微積分，喬治布爾用0/1將邏輯化為代數（哲學）到弗雷格發明邏輯學的基本形式符號，康托爾的離散數學（實數和自然數的連續性以及對角綫證明）。希爾伯特那段元數學把我嚇得不輕，差點忽略瞭重要的希爾伯特23問和判定性問題。哥德堡近乎是全書裏立大功的人，除開哥德堡不完備定律（第三次數學危機啊），他所建立在邏輯公式下的符號語言太驚艷瞭，就是最最最基礎的Coding編程，程序語言啊。圖靈果然也是真愛，圖靈機判斷奇偶和無法解決的判斷問題那兩段證明太帥瞭，到這時纔算真正的Compuation概念應用。至於諾依曼以計算機之父齣場製造EDVAC時，上追羅素、泛及康德和維特根斯坦的（數學、哲學、邏輯、語言學）計算機史將更加輝煌 M.

評分☆☆☆☆☆

萊布尼茨－布爾－弗雷格－康托爾－羅素－希爾伯特－哥德爾－圖靈－馮諾依曼。不過it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.