具體數(shù)學:計算機科學基礎(英文版·原書第2版 典藏版)
定 價:139 元
- 作者:[美] 葛立恒(Ronald L.Graham) 著
- 出版時間:2020/1/1
- ISBN:9787111641957
- 出 版 社:機械工業(yè)出版社
- 中圖法分類:TP301.6
- 頁碼:636
- 紙張:膠版紙
- 版次:1
- 開本:16開
《具體數(shù)學:計算機科學基礎(英文版·原書第2版 典藏版)》介紹高級計算機程序設計和算法分析所涉及的數(shù)學知識,目的是為解決復雜問題、求解規(guī)模龐大的求和問題以及探索數(shù)據(jù)中的微妙模式提供堅實的數(shù)學基礎。該書對于每一個涉及數(shù)學學科的學生來說都是一本必備的教科書和參考書。
具體數(shù)學是連續(xù)數(shù)學和離散數(shù)學的融合。該書討論的話題是高德納的經(jīng)典著作《計算機程序設計藝術》中數(shù)學基礎部分的擴展,但該書的表達風格更加輕松活潑,對一些主題的討論更加深入,同時增加了一些新的內容并將重要的思想貫穿全書始末。
書中包含500多道習題,分為6大類。除了研究題外,其余(熱身題、基本題、作業(yè)題、測驗題和附加題)都給出了完整答案,為自學提供了有益的幫助。
該書還在邊欄處給出了選修過該課程的學生寫的旁白,作者希望在傳達數(shù)學方法的重要性的同時,增加學生的學習樂趣。
本書源自斯坦福大學每年開設的同名課程,該課程自1970年開設以來,每年有大約50名的選課學生,其中大部分為研究生,還有三、四年級的本科生,這些學生畢業(yè)后在其他地方也開設了類似課程。因此,是時候將該課程的相關資料呈現(xiàn)給更廣泛的讀者(包括二年級本科生)了。
具體數(shù)學誕生之時正是基礎理論知識的價值受到質疑的年代,基礎理論在大學課程體系中的地位受到了挑戰(zhàn),數(shù)學也難逃厄運。當時,John Hammersley先生發(fā)表了一篇“On the enfeeblement of mathematical skills by'Modern Mathematics'and by similar soft intellectual trash in schools and universities”(關于高中和大學數(shù)學技能被所謂的“現(xiàn)代數(shù)學”和類似的軟智能垃圾化)的文章[176],其內容發(fā)人深省,還有一些數(shù)學家擔心[332]:數(shù)學還能被保留下來嗎?本書的作者之一高德納(Donald E。Knuth)先生曾以《計算機程序設計藝術》系列書聞名,在寫作第1卷時他發(fā)現(xiàn)忽略了數(shù)學方法,而全面透徹地理解計算機程序設計技巧需要的數(shù)學知識完全不同于在大學數(shù)學專業(yè)所學的數(shù)學知識,因此,他開設了一門如他所期望的新課程。
這門課程取名“具體數(shù)學”的初衷是想?yún)^(qū)別于“抽象數(shù)學”,因為在現(xiàn)代數(shù)學課程體系中具有抽象概念的“新數(shù)學”已經(jīng)取代了包含具體經(jīng)典結果的數(shù)學。抽象數(shù)學本身沒有任何問題——它完美,通俗,實用,是一門很神奇的學科,但是它的崇拜者誤導了人們其他數(shù)學部分是不值得關注的,由于這種概括化思想很盛行,使得一代數(shù)學家不能享受數(shù)學之美,特別是不能享受解決有挑戰(zhàn)性難題的樂趣以及欣賞解題技巧。抽象數(shù)學曾經(jīng)歷過近親繁殖階段,從而使其與現(xiàn)實脫節(jié)了,因此,數(shù)學教育需要改變以保證其原有的均衡性。
當高德納先生第一次在斯坦福大學教授具體數(shù)學(Concrete Mathematics)時,對于有些奇怪的課程名稱解釋道:想教授一門“硬”數(shù)學以代替現(xiàn)在的“軟”數(shù)學。與某些理解相悖(concrete -詞在英文中還有另一個意思:混凝土),他聲稱:不教聚合論,也不講Stone嵌入定理,更沒有Stone-Cech緊化。(來自土木工程系的學生起身悄悄地離開了教室。)
盡管具體數(shù)學以逆潮流開始,但是能夠存留下來的主要原因是該課程的積極意義。作為課程體系中的一門普通課程,它的主要任務是鞏固和證明具體數(shù)學在各種新的應用中的價值。Z.A.Melzak先生出版的兩卷本Companion to Concrete Mathematics(與具體數(shù)學為伴)[267],讓我們想到了這個名字。
具體數(shù)學的內容乍看上去好像是放在互不相通袋子里的戲法,但是實際應用使它們有機結合成一套嚴謹?shù)姆椒ā_@些技術也確實是和諧統(tǒng)一的,并且具有很強的吸引力。作者之一的葛立恒( Ronald L.Graham)先生,1979年首次教授這門課程的時候,學生們興趣盎然甚至相約一年后的(具體數(shù)學)課堂上再相聚。
那么,具體數(shù)學究竟是什么?是連續(xù)數(shù)學與離散數(shù)學的融合。更具體地說,是應用一系列解題方法對數(shù)學公式進行可控運算。一旦你學過了本書的知識,為了驗證看上去令人討厭的求和,求解復雜的遞歸關系,以及發(fā)現(xiàn)數(shù)據(jù)中的微妙邏輯關系,你就需要具備冷靜的大腦、大量的演算紙,以及相當工整的字跡。你的代數(shù)學技能必將很熟練,使得你能夠很容易地得到精確解而不是僅僅在限定條件下的近似解。
本書的主要內容包括求和、遞歸、初等數(shù)論、二項式系數(shù)、生成函數(shù)、離散概率以及漸近方法。此處關注的是這些知識的運算方法而非現(xiàn)有定理或組合推理,其目的是期望每一位讀者都能熟悉離散運算(如最大整數(shù)函數(shù)和有限求和),就像微積分學生熟悉連續(xù)運算(如絕對值函數(shù)和不定積分)一樣。
葛立恒(Ronald L.Graham)著名數(shù)學家,美國加州大學圣迭戈分校計算機與信息科學專業(yè)教席( Jacobs Endowed Chair),AT&T實驗室研究中心榮譽首席科學家,美國數(shù)學學會前任主席。Graham 于1999年成為美國計算機學會會士,2003年獲得美國數(shù)學學會的斯蒂爾終身成就獎,2012年成為美國數(shù)學學會會士。他還曾獲得美國數(shù)學學會頒發(fā)的Lester R.Ford獎和Carl Allendoerfer獎以及其他眾多獎項。
高德納(Donald E.Knuth)著名計算機科學家,算法與程序設計技術的先驅者、斯坦福大學計算機系榮休教授、計算機排版系統(tǒng)TEX和METAFONT字體系統(tǒng)的發(fā)明人,因諸多成就以及大量富于創(chuàng)造力和具有深遠影響的著作(19部書,1160篇論文)而譽滿全球。Knuth教授獲得過許多獎項和榮譽,包括美國計算機學會圖靈獎、美國國家科學獎章、美國數(shù)學學會的斯蒂爾獎,以及因發(fā)明先進技術于1996年榮獲的京都獎。1996年,設立了以其名字命名的Donald E.Knuth獎,授予那些為計算機科學基礎做出杰出貢獻的人。
奧倫·帕塔什尼克(Oren Patashnik)著名計算機科學家,BibTeX的創(chuàng)始人之一。他在1976年畢業(yè)于耶魯大學,后來在斯坦福大學師從高德納,1980年就職于貝爾實驗室。1985年與Leslie Lamport合作創(chuàng)建了BibTeX(LaTeX的一種工具,用于管理文獻、產(chǎn)生文獻目錄)。
1 遞歸問題
1.1 漢諾塔問題
1.2 直線劃分平面問題
1.3 約瑟夫問題
習題
2 求和
2.1 表示法
2.2 求和與遞歸
2.3 求和的運算方法
2.4 多重求和
2.5 求和方法一覽
2.6 差分與求導
2.7 無窮項求和問題
習題
3 整數(shù)函數(shù)
3.1 向上取整函數(shù)和向下取整函數(shù)
3.2 取整函數(shù)的應用
3.3 取整函數(shù)的遞歸表示法
3.4 mod:二元運算
3.5 取整函數(shù)的求和
習題
4 數(shù)論
4.1 整除性
4.2 素數(shù)
4.3 素數(shù)示例
4.4 階乘的因子
4.5 互質
4.6 mod:同余關系
4.7 獨立余數(shù)
4.8 應用
4.9 歐拉函數(shù)與默比烏斯函數(shù)
習題
5 二項式系數(shù)
5.1 基本恒等式
5.2 基本練習
5.3 應用技巧
5.4 生成函數(shù)
5.5 超幾何函數(shù)
5.6 超幾何變換
5.7 超幾何部分求和
5.8 算法化求和
習題
6 特殊數(shù)
6.1 斯特林數(shù)
6.2 歐拉數(shù)
6.3 調和數(shù)
6.4 調和級數(shù)求和
6.5 伯努利數(shù)
6.6 斐波那契數(shù)列
6.7 連續(xù)式
習題
7 生成函數(shù)
7.1 多米諾理論與零錢支付方案
7.2 基本策略
7.3 遞歸式求解
7.4 特殊生成函數(shù)
7.5 卷積運算
7.6 指數(shù)型生成函數(shù)
7.7 狄利克雷生成函數(shù)
習題
8 離散概率
8.1 定義
8.2 均值與方差
8.3 概率生成函數(shù)
8.4 擲硬幣
8.5 哈希法
習題
9漸近理論
9.1 漸近量級
9.2 0記法
9.3 0運算
9.4 兩個漸近技巧
9.5 歐拉求和公式
9.6 結論
習題
A 習題答案
B 參考文獻
C 習題來源