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

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

[美] 馬丁·戴維斯

湖南科學技術齣版社

張蔔天

2005-5

293

20.00元

平裝

第一推動叢書

9787535742391

圖書標籤: 邏輯科普計算機數學計算機科學計算機史哲學邏輯的引擎

喜歡邏輯的引擎的讀者還喜歡

下載链接在页面底部

點擊這裡下載

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

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

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-08-03

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

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

圖書描述

本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人，描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。

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

著者簡介

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

圖書目錄

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

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

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

用戶評價

評分☆☆☆☆☆

通用計算機威武

評分☆☆☆☆☆

發現每本數理邏輯的科普幾乎都在說相同的東西

評分☆☆☆☆☆

通用計算機威武

評分☆☆☆☆☆

尼瑪原來哥德爾有個機油也叫Karl Menger....

評分☆☆☆☆☆

讀過後第一次把多年攢下的碎片連綴在一起，此刻迴頭去看，纔明白當初以為正確的方嚮即使不算是偏離，也是在繞遠。許多綫索明明已在手邊，卻由於缺乏更宏觀的視野，越不過那最後一層薄薄的阻礙，曾經最看重的觀念帶來激勵的同時，也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中，更不在心理學之中，維也納小組之後如果能明白哥德爾的真正意義，也許也就能明白邏輯學如何與工程結閤，不至在概念的海洋裏迷失。現在再讀到，是否算是一切平息後對孤獨的報償？可是還是晚瞭。