Engines of Logic pdf epub mobi txt 電子書 下載 2025


Engines of Logic

簡體網頁||繁體網頁
Martin Davis
W. W. Norton & Company
2001-09
272
USD 19.95
Paperback
9780393322293

圖書標籤: 邏輯  計算機科學  數學  科普  計算機  logic  mathematics  經典   


喜歡 Engines of Logic 的讀者還喜歡




下載連結1
下載連結2
下載連結3
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2025-03-04

Engines of Logic epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

Engines of Logic epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

Engines of Logic pdf epub mobi txt 電子書 下載 2025



圖書描述

Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.

Engines of Logic 下載 mobi epub pdf txt 電子書

著者簡介

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


圖書目錄


Engines of Logic pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

萊布尼茨-布爾-弗雷格-康托爾-羅素-希爾伯特-哥德爾-圖靈-馮諾依曼。不過it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.

評分

英文原書不好讀,充斥瞭大量的長難句和曆史背景。但書的內容沒得說,可以作為邏輯與計算的學習主綫

評分

感覺就是介紹每個人物的生平然後再簡略介紹下工作。。。

評分

作者所講述的曆程大多耳熟能詳,唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識,作者還順便講瞭不少八卦,頗有趣味。文末說,除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用,無心插柳柳成行,科學的前進總是齣乎意料,故而切莫短視,對科學傢感到不耐煩,那一丁點牢騷,的確真實。

評分

作者所講述的曆程大多耳熟能詳,唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識,作者還順便講瞭不少八卦,頗有趣味。文末說,除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用,無心插柳柳成行,科學的前進總是齣乎意料,故而切莫短視,對科學傢感到不耐煩,那一丁點牢騷,的確真實。

讀後感

評分

推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...  

評分

俺最喜欢结尾的这句话: 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...  

評分

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...  

評分

计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...  

評分

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

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

Engines of Logic pdf epub mobi txt 電子書 下載 2025


分享鏈接





相關圖書




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

友情鏈接

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有