具體數學:計算機科學中的一塊基石 | |
---|---|
作者 | Ronald Graham, Donald Knuth, and Oren Patashnik |
类型 | 數學 計算機科學 |
语言 | 英語 |
發行信息 | |
出版机构 | Addison–Wesley |
出版時間 | 1994 |
出版地點 | 美國 |
媒介 | 印刷 (硬皮精裝) |
页数 | 657 頁 (第二版) |
规范控制 | |
ISBN | 0201558025 |
OCLC | 29357079 |
杜威分类法 | 510 20 |
LC分类法 | QA39.2 .G733 1994 |
《具體數學:計算機科學中的一塊基石》(Concrete Mathematics: A Foundation for Computer Science),簡稱《具體數學》,是由葛立恆、高德納及歐倫·帕塔許尼克共同編著的一本被許多資訊科系廣泛使用的數學教科書。此書講解了許多計算機科學中用到的數學知識及技巧,並特別著墨於算法分析方面。
根據此書原序,書名Concrete Mathematics中的Concrete係由連續(CONtinuous)配上離散(disCRETE)所組成的詞,真正含意並非字面所翻譯的「具體」,而是指該書講述的數學實質上就是由連續數學與離散數學共同構成的。特別地,微積分在此書的講解及習題常被用到。另外,concrete mathematics也意味著對於抽象數學(abstract mathematics)的補充。
此書係建立在高德納於1970年代在史丹佛大學的上課講義。此書實質上是對Knuth的名著《電腦程式設計藝術》(The Art of Computer Programming)一書中預備數學知識的擴充。因此,一些讀者將本書作為「计算机编程設計藝術」的入門。
本書寫作風格不十分嚴肅正式,行文帶有幽默風格。
如同高德納的其他書籍,高德納鼓勵讀者抓錯,無論是學術性的、歷史性的、打字的或政治方面的錯誤,抓到錯誤者高德納會給予獎賞。[1]
此書推廣了許多數學記號,諸如:艾佛森括號、下取整符号與上取整符号、以及用階乘冪來表示連續遞增(或遞減)數列的連乘積。
高德納將《具體數學》一書(第一版)作為AMS Euler字型與Concrete Roman字型的實驗。[2]