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

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

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

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

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

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

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

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

下載链接在页面底部

點擊這裡下載

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

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2025-01-22

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

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

邏輯的引擎 pdf epub mobi 讀後感

評分☆☆☆☆☆

前不久看瞭劉文哲先生所著《棋道淩空》一書。劉老先生堅持認為，卡斯帕羅夫被深藍擊敗是個陰謀，其實他是收瞭IBM的錢故意放水的。且不說卡斯帕羅夫會不會為瞭幾個小錢敗壞自己的名譽，也不說已經是業界巨頭的IBM怎麼還會需要靠炒作來提升名氣，我隻說劉老的觀點：...

評分☆☆☆☆☆

// 計算機科學是僞科學嗎？這個問題曾經一度讓我焦慮過好多天，作為一個理想成為科學傢的人，這個問題的答案對我來說意義重大。在我越來越多地瞭解計算機科學（computer science）後，內心卻對CS屬於Science産生瞭越來越多的懷疑。在一篇和這個問題相關的有些消極和偏激但其...

評分☆☆☆☆☆

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

類似圖書點擊查看全場最低價

出版者:湖南科學技術齣版社

作者:[美] 馬丁•戴維斯

出品人:

頁數:0

譯者:張蔔天

出版時間:2018-1

價格:49.00

裝幀:平裝

isbn號碼:9787535794420

叢書系列:第一推動叢書：綜閤係列

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

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

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

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

評分☆☆☆☆☆

作者對推動計算機發展的邏輯發展史給齣瞭一個十分全麵的描繪，書中各種觀念和概念的解釋也跟到位，信息量很大，但也有很多地方解釋的不夠透徹，可以以這本書為框架再分彆對裏麵的概念進行研究。此外，該書的排版實在有點隨便瞭。 ps:話說推理和演算的關係到底該如何理解？

評分☆☆☆☆☆

關於希爾伯特和哥德爾的部分沒太讀懂，但是對於圖靈機的引入和介紹都十分優秀。

評分☆☆☆☆☆

有些地方的翻譯-1星有些看不懂 momo送的

評分☆☆☆☆☆

講弗雷格、希爾伯特與哥德爾三人的部分個人最感興趣。早先閱讀過弗雷格的某部著作，但當時吸收不深。按照哥德爾的思路，似乎可以將某個公理體係作為一個整體，對公理體係的“序列”也可以不斷逼近極限。“無限”究竟是否能夠達到一個“完成”的狀態而能夠拿來直接使用？事實上，分析領域的許多內容正是圍繞“極限”作文章。邏輯、符號演算、語言哲學這些內容是個人之前（刻意）較少接觸的，其實也很難在一部小書中充分領略。後半部分敘述圖靈、馮諾依曼、通用計算機等內容，個人就沒那麼感興趣，而關於計算機曆史以及代錶人物，有很多更好的科普書籍。談到馮諾依曼“虛榮”的性格，似乎也並不那麼令人驚訝。另外，我覺得此係列新版的包裝並不如原來的好。

評分☆☆☆☆☆

看瞭一半，未看完！

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