計算進化史 pdf epub mobi txt 電子書 下載2025
吉爾·多維剋（Gilles Dowek），法國數學傢、邏輯學傢和計算機科學傢，法國國傢計算機與自動化研究所機器證明處理係統、編程語言、航空係統安全專傢，美國國傢航空研究院顧問。多維剋撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾奬和法蘭西學術院哲學大奬。
- 數學
- 科普
- 計算機
- 計算機科學
- 計算
- 曆史
- 數學文化
- 計算機/互聯網
本書從計算的變遷這一獨特視角迴顧瞭數學、邏輯學和哲學的曆史沿革，展現瞭計算為數學研究發展帶來的全新前景，展望瞭這場數學革命在自然科學、信息科學與哲學領域引發的重大變革。
具體描述
讀後感
第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...
評分第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...
評分第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...
評分第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...
評分第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...
用戶評價
三星半吧，一本數理邏輯發展簡史，不過用科普的形式很難說清楚
评分讀著費勁，總感覺文筆差
评分挺好的書，講瞭計算概念的曆史，但是比較難看，我後麵基本沒怎麼看懂
评分3.5
评分為瞭不被時代拋棄，文科生也在盡力
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有