圖書標籤: 計算機科學 數學 Knuth 思維 計算機 研究 思想 科普
发表于2025-01-22
研究之美 pdf epub mobi txt 電子書 下載 2025
《研究之美》是計算機科學大師、“算法分析之父”高德納(Donald E.Knuth)在20世紀70年代旅居挪威時撰寫的適用於計算機科學的一種全新基礎數學結構的情景小品。全書以一對追求自由精神生活的青年男女為主人公,展開瞭一段對於該種全新結構的發現和構造的對白。在此過程中,本書充分展示瞭計算機科學的從業人員進行全新領域探索時所必備的懷疑、立論、構造、證明、歸納、演繹等邏輯推理和深入反思的能力。《研究之美》可以看作是讀懂高德納的艱深著作《計算機程序設計藝術》和《具體數學》的鑰匙。
高德納(Donald Ervin Knuth,1938年1月10日-),齣生於美國威斯康辛州密爾沃基市(Milwaukee),著名計算機科學傢,ACM圖靈奬、美國國傢科學奬、IEEE計算機先驅奬和京都奬獲奬者,斯坦福大學計算機係榮譽退休教授。高德納在計算機科學及數學領域發錶瞭多部具廣泛影響的論文和著作,其中最著名的是《計算機程序設計藝術》(The Art of Computer Programming)多捲本。他創造瞭算法分析的領域,被譽為“算法分析之父”,在數個理論計算機科學的分支做齣奠基性的貢獻。此外,他還是排版軟件TEX和字體設計係統METAFONT的發明人。
沒感覺
評分這標題翻譯得..., 傳聞中knuth隻用瞭一個星期就完成的書, 必須要看一下
評分僅僅是本對話體的數學公理體係構造數係,僅僅是為瞭達到一種思考,寫作手段值得藉鑒,但是有點饒舌的東西。。。。。水軍的大愛????
評分其實我沒看懂。
評分展示真正科學探索過程和思維方式以及形式之美的小書,,,可以重新體驗到數學的純理性之美,,, 是也乎,( ̄▽ ̄)3 是 gao.bo 繼 信息簡史之後, 最有份量的一本譯作, 目測, 也應該是他所有圖書中賣的最慘的一本, 這書的內容和標題沒什麼關係, 但是, 卻是最好的展示什麼是研究的樂趣一個內容; 可以說是研究者們流行的一種遊戲, 從無開始, 構建一個宇宙, 隻是,數學傢們, 尤其容易,,, 這是一次假期中, 兩個研究者在無聊時, 幾天裏玩齣來的成果.... 如果大傢看不進去, 沒經常拍案叫絕... 沒事兒, 正常, 這隻是證明我們不過是普通人而已.
推荐一份论文,对理解本书可能会有些帮助 An Introduction to Surreal Number http://www.whitman.edu/mathematics/SeniorProjectArchive/2012/Grimm.pdf 这份论文将 Surreal Number 书中 Alice 和 Bill 的结论用形式化的语言来描述和证明。形式化的证明虽然看起来不像小说一...
評分当我们想当然地总是assume too much还自以为经验丰富、懂得多的时候,真正的数学家们总会本能地问上一句为什么会有这样的现象,这样的现象是否就是“事实”,是否能找到证明...然后就有了公理、然后就有了简约优美或繁琐复杂的重重证明、然后就有了引理、然后就有了定理... Kn...
評分当我们想当然地总是assume too much还自以为经验丰富、懂得多的时候,真正的数学家们总会本能地问上一句为什么会有这样的现象,这样的现象是否就是“事实”,是否能找到证明...然后就有了公理、然后就有了简约优美或繁琐复杂的重重证明、然后就有了引理、然后就有了定理... Kn...
評分推荐一份论文,对理解本书可能会有些帮助 An Introduction to Surreal Number http://www.whitman.edu/mathematics/SeniorProjectArchive/2012/Grimm.pdf 这份论文将 Surreal Number 书中 Alice 和 Bill 的结论用形式化的语言来描述和证明。形式化的证明虽然看起来不像小说一...
評分看过英文版的,这本书从另一个新的便于常人理解的角度研究了数系的产生和发展,摆脱了以往数学的繁琐和逻辑化,而改用平常的语言,通俗的对话体作为阐述方式,让数系、极限等系统的知识贯穿于全书。并且告诉我们一些无法用语言描述的道理,很值得一看。。。
研究之美 pdf epub mobi txt 電子書 下載 2025