圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
发表于2024-12-22
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
「除瞭圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
評分「除瞭圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
評分一般
評分老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL,等等,內容應該可以再豐富、再跌宕起伏一些吧?
評分翻譯有些拗口的地方 讀的好痛苦…
如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...
評分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
評分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
評分1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024