-
邏輯的引擎
(2018年湖南科學技術出版社出版的圖書)
鎖定
- 中文名
- 邏輯的引擎
- 作 者
- (美)馬丁•戴維斯
- 譯 者
- 張卜天
- 出版時間
- 2018年1月
- 出版社
- 湖南科學技術出版社
- ISBN
- 9787535794420
- 原作品
- Engines of Logic: Mathematicians and the Origin of the Computer
- 定 價
- 49 元
- 裝 幀
- 平裝
邏輯的引擎內容簡介
邏輯的引擎作者簡介
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯克利分校做訪問學者。
[2]
邏輯的引擎目錄
引言
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格:從突破到絕望
第四章 康托爾:在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研製第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
註釋
參考書目
索引