邏輯的引擎 2024 pdf epub mobi 電子書 下載


邏輯的引擎

簡體網頁||繁體網頁

邏輯的引擎 pdf epub mobi 著者簡介

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


邏輯的引擎 pdf epub mobi 圖書描述

本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。

邏輯的引擎 2024 pdf epub mobi 電子書 下載

邏輯的引擎 pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-22

邏輯的引擎 2024 pdf epub mobi 電子書 下載

邏輯的引擎 2024 pdf epub mobi 電子書 下載

邏輯的引擎 2024 pdf epub mobi 電子書 下載



喜欢 邏輯的引擎 電子書 的读者还喜欢


邏輯的引擎 pdf epub mobi 讀後感

評分

(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...  

評分

* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...  

評分

這本書的主要內容就是介紹數學中的一些最基本的思想是如何一步步發展成為計算機的理論基礎的。 作者本人是學數學齣身的,後來從計算機誕生之時起就從事相關工作,作為一個專業人員來解釋相關的內容,確實是遊刃有餘。 作者從數學專業本身齣發解釋一些用於計算機的數理邏輯的問...  

評分

推薦程度:最好的科普之一,考慮到CS的學生對計算理論的數學根基掌握不是很好,本書很有幫助。 主題:這本書介紹的是自動計算思想發展的曆史。 內容:不僅僅是科學傢佚事的八卦,還把基本(數學)問題的思想史講得很清楚。 原作者:大牛境界,從本質層次深入淺齣的講到瞭計...  

評分

去圖書館翻瞭一本中意的書齣來,叫邏輯的引擎。還沒有細細地看,隻是粗翻瞭一下,大概就是一個對計算機邏輯模型有巨大貢獻的科學傢的一個小小的傳記。當然,它更像是一部計算機發展(邏輯上,而非工程上)簡史。 說它是傳記,甚至說是曆史,但是它不是那麼地容易讀的,讀者需要...  

類似圖書 點擊查看全場最低價
出版者:湖南科學技術齣版社
作者:[美] 馬丁•戴維斯
出品人:
頁數:0
譯者:張蔔天
出版時間:2018-1
價格:49.00
裝幀:平裝
isbn號碼:9787535794420
叢書系列:第一推動叢書:綜閤係列

圖書標籤: 計算機  邏輯學  科普  數學  邏輯  第一推動叢書  計算機科學  科學   


邏輯的引擎 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

邏輯的引擎 pdf epub mobi 用戶評價

評分

康托爾連續統假設、哥德爾不完備性定理、邏輯與機器的關係沒有明白

評分

瞭解真實的曆史

評分

翻譯有些拗口的地方 讀的好痛苦…

評分

「除瞭圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」

評分

一部邏輯學在計算機方麵的發展史,可以看到巨星閃耀

邏輯的引擎 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有