圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
发表于2024-06-20
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
作者對推動計算機發展的邏輯發展史給齣瞭一個十分全麵的描繪,書中各種觀念和概念的解釋也跟到位,信息量很大,但也有很多地方解釋的不夠透徹,可以以這本書為框架再分彆對裏麵的概念進行研究。 此外,該書的排版實在有點隨便瞭。 ps:話說推理和演算的關係到底該如何理解?
評分一部邏輯學在計算機方麵的發展史,可以看到巨星閃耀
評分看的腦闊疼……
評分現代計算機的大廈是用許多不起眼卻重要的磚塊建起來的,數學邏輯是其中重要的一部分。本書以數學史上重要的科學傢為主綫,將數學邏輯符號化可運算的發展曆史娓娓道來.
評分關於希爾伯特和哥德爾的部分沒太讀懂,但是對於圖靈機的引入和介紹都十分優秀。
是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。
評分// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
評分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
評分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
評分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024