作者簡介:
馬丁·大衛斯是電腦科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為電腦科學領域極少數真正的經典著作之一他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯克利分校做訪問學者。
目錄
引言
第一章萊布尼茨之夢
第二章布林把邏輯變成代數
第三章弗雷格:從突破到絕望
第四章康托爾:在無限中摸索
第五章希爾伯特的營救
第六章哥德爾使計畫落空
第七章圖靈構想通用電腦
第八章研製第一批通用電腦
第九章超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
引言 第一章萊布尼茨之夢 第二章布林把邏輯變成代數 第三章弗雷格:從突破到絕望 第四章康托爾:在無限中摸索 第五章希爾伯特的營救 第六章哥德爾使計畫落空 第七章圖靈構想通用電腦 第八章研製第一批通用電腦 第九章超越萊布尼茨之夢 尾聲 注釋 參考書目 索引 譯後記
購物須知
退換貨說明:
會員均享有10天的商品猶豫期(含例假日)。若您欲辦理退換貨,請於取得該商品10日內寄回。
辦理退換貨時,請保持商品全新狀態與完整包裝(商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等)一併寄回。若退回商品無法回復原狀者,可能影響退換貨權利之行使或須負擔部分費用。
訂購本商品前請務必詳閱退換貨原則。