The Universal Computer 在線電子書 圖書標籤: 計算機 科學 數學 邏輯 計算機科學 學術 曆史 The
發表於2024-09-21
The Universal Computer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
評分中文版叫“邏輯的引擎”
評分中文版叫“邏輯的引擎”
評分中文版叫“邏輯的引擎”
評分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.
如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...
評分如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...
評分这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...
評分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
評分1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...
The Universal Computer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024