馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
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.
(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...
評分 評分用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算,并将数学运算符号化为五元运...
評分用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算,并将数学运算符号化为五元运...
評分1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...
因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
评分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
评分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
评分中文版叫“邏輯的引擎”
评分因為對太多的理論隻能淺嘗軛止,所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有