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