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

簡體網頁||繁體網頁

☆☆☆☆☆

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

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

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

出品人:

頁數:293

译者:張蔔天

出版時間:2005-5

價格:20.00元

裝幀:平裝

isbn號碼:9787535742391

叢書系列:第一推動叢書

圖書標籤:

邏輯
科普
計算機
數學
計算機科學
計算機史
哲學
邏輯的引擎

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

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

具體描述

讀後感

評分☆☆☆☆☆

俺最喜欢结尾的这句话： The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...

評分☆☆☆☆☆

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...

評分☆☆☆☆☆

// 计算机科学是伪科学吗？这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激但其...

評分☆☆☆☆☆

“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...

評分☆☆☆☆☆