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


邏輯的引擎

簡體網頁||繁體網頁

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

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


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

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

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

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




點擊這裡下載
    


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

發表於2024-11-22

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

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

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



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


邏輯的引擎 pdf epub mobi 讀後感

評分

評分

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

評分

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

評分

很美很感人的科普著作,對於計算機科學中基本概念發展史上重要數學傢數理邏輯學傢的溫情脈脈的描述呈現齣真正富有智慧的人麵對無盡的自然界奧秘時的注定的悲哀。在某本書裏看到的,“真正的智慧,從覺醒之日起,就包含著絕望的悲哀。” 本書對於希望從數理科學角度思考邏輯學本...  

評分

每一章內各小節的組織比較亂,八卦夾雜在一起容易忘掉這人到底乾瞭些什麼。理瞭下我對他們貢獻的理解。 1.萊布尼茲大神最早提齣一個想法,我們的宇宙可以由一種符號推理演算來錶示。 2.喬治·布爾把邏輯學納入瞭數學的範疇,即布爾代數。 3.弗雷格發行瞭形式句法,使後人可...  

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

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


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

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

評分

看的腦闊疼……

評分

老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL,等等,內容應該可以再豐富、再跌宕起伏一些吧?

評分

一般

評分

現代計算機的大廈是用許多不起眼卻重要的磚塊建起來的,數學邏輯是其中重要的一部分。本書以數學史上重要的科學傢為主綫,將數學邏輯符號化可運算的發展曆史娓娓道來.

評分

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

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


分享鏈接





相關圖書




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

友情鏈接

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