第 1 章 計算機(jī)科學(xué):將抽象機(jī)械化........... 1
1.1 本書主要內(nèi)容 ........................................... 3
1.1.1 數(shù)據(jù)模型 ....................................... 3
1.1.2 數(shù)據(jù)結(jié)構(gòu) ....................................... 4
1.1.3 算法 ............................................... 4
1.1.4 基本思路 ....................................... 4
1.2 本章主要內(nèi)容 ........................................... 4
1.3 數(shù)據(jù)模型 ................................................... 5
1.3.1 編程語言數(shù)據(jù)模型........................ 5
1.3.2 系統(tǒng)軟件的數(shù)據(jù)模型.................... 6
1.3.3 電路的數(shù)據(jù)模型 ........................... 7
1.3.4 習(xí)題 ............................................. 10
1.4 C語言數(shù)據(jù)模型....................................... 10
1.4.1 C語言類型系統(tǒng)........................... 11
1.4.2 函數(shù) ............................................. 14
1.4.3 C語言數(shù)據(jù)模型中的操作........... 14
1.4.4 數(shù)據(jù)對象的創(chuàng)建和銷毀.............. 14
1.4.5 數(shù)據(jù)的訪問和修改...................... 15
1.4.6 數(shù)據(jù)的組合 ................................. 15
1.4.7 習(xí)題 ............................................. 16
1.5 算法和程序設(shè)計 ..................................... 16
1.5.1 軟件的創(chuàng)建 ................................. 16
1.5.2 編程風(fēng)格 ..................................... 17
1.6 本書中用到的一些C語言約定 ............... 17
1.7 小結(jié) ......................................................... 19
1.8 參考文獻(xiàn) ................................................. 19
第 2 章 迭代、歸納和遞歸........................... 20
2.1 本章主要內(nèi)容 ......................................... 21
2.2 迭代 ......................................................... 22
2.2.1 排序 ............................................. 22
2.2.2 選擇排序:一種迭代排序
算法 ............................................. 23
2.2.3 習(xí)題 ............................................. 27
2.3 歸納證明 ................................................. 27
2.3.1 歸納證明為何有效...................... 29
2.3.2 檢錯碼 ......................................... 30
2.3.3 習(xí)題............................................. 33
2.4 完全歸納 ................................................. 35
2.4.1 使用多個依據(jù)情況進(jìn)行歸納...... 35
2.4.2 驗證完全歸納 ............................. 36
2.4.3 算術(shù)表達(dá)式的規(guī)范形式 ............. 36
2.4.4 習(xí)題............................................. 40
2.5 證明程序的屬性 ..................................... 41
2.5.1 循環(huán)不變式 ................................. 41
2.5.2 while循環(huán)的循環(huán)不變式 .......... 45
2.5.3 習(xí)題............................................. 46
2.6 遞歸定義 ................................................. 47
2.6.1 表達(dá)式 ......................................... 49
2.6.2 平衡圓括號 ................................. 50
2.6.3 習(xí)題............................................. 54
2.7 遞歸函數(shù) ................................................. 55
2.8 歸并排序:遞歸的排序算法 ................. 59
2.8.1 合并............................................. 59
2.8.2 分割表 ......................................... 62
2.8.3 排序算法 ..................................... 63
2.8.4 完整的程序 ................................. 65
2.8.5 習(xí)題............................................. 66
2.9 證明遞歸程序的屬性 ............................. 67
2.10 小結(jié)....................................................... 69
2.11 參考文獻(xiàn) ............................................... 69
第 3 章 程序的運行時間............................... 70
。。。
資源簡介:具體數(shù)學(xué) 計算機(jī)科學(xué)的基礎(chǔ) 用來提高你的計算機(jī)理論水平
上傳時間: 2013-12-21
上傳用戶:佳期如夢
資源簡介:第 1 章 計算機(jī)科學(xué):將抽象機(jī)械化........... 11.1 本書主要內(nèi)容 ........................................... 31.1.1 數(shù)據(jù)模型 ....................................... 31.1.2 數(shù)據(jù)結(jié)構(gòu) ....................................... 41.1.3 算法 .............
上傳時間: 2021-11-28
上傳用戶:slq1234567890
資源簡介:計算機(jī)是組成計算機(jī)網(wǎng)絡(luò)的基礎(chǔ)。作為網(wǎng)絡(luò)結(jié)點的計算機(jī)必須是能夠獨立運行的計算機(jī)系統(tǒng),該計算機(jī)可以為“他人”提供資源共享服務(wù)
上傳時間: 2015-09-24
上傳用戶:ouyangtongze
資源簡介:機(jī)器視覺技術(shù)是計算機(jī)科學(xué)的重要研究領(lǐng)域,其中背景圖像中字符的提取和識別有重大的研究意義.通過分析復(fù)雜背景中字符存在的特點,針對快速分割和識別的應(yīng)用需求,提出了一種在色調(diào)上將閥值法和區(qū)域生長法相結(jié)合的分割方法.
上傳時間: 2016-01-31
上傳用戶:ma1301115706
資源簡介:計算機(jī)方面的基礎(chǔ)知識,對大家應(yīng)該有所幫助
上傳時間: 2013-12-27
上傳用戶:com1com2
資源簡介:計算機(jī)科學(xué)的圣經(jīng) Knuth的經(jīng)典之作——第2卷對半數(shù)值算法領(lǐng)域做了全面介紹,分“隨機(jī)數(shù)”和“算術(shù)”兩章。本卷總結(jié)了主要算法范例及這些算法的基本理論,廣泛剖析了計算機(jī)程序設(shè)計與數(shù)值分析間的相互聯(lián)系。第3版中特別值得注意的是Knuth對隨機(jī)數(shù)生成程序的重...
上傳時間: 2016-06-19
上傳用戶:zhenyushaw
資源簡介:計算機(jī)科學(xué)的圣經(jīng) Knuth的經(jīng)典之作 卷3為分揀和搜索,這是本書的第1個修訂版,它是對計算機(jī)分揀和搜索的一流技術(shù)的最全面的研究,它擴(kuò)展了卷1中數(shù)據(jù)結(jié)構(gòu)的處理方法,將大小數(shù)據(jù)庫以及內(nèi)存和外部存儲都包含在內(nèi)。本書包括對計算機(jī)方法仔細(xì)檢查的選擇方案,和...
上傳時間: 2016-06-22
上傳用戶:小草123
資源簡介:數(shù)據(jù)庫是數(shù)據(jù)管理的最新技術(shù)是計算機(jī)科學(xué)的重要分支
上傳時間: 2013-12-17
上傳用戶:tonyshao
資源簡介:一本關(guān)于計算機(jī)科學(xué)的數(shù)學(xué)書籍,很有幫助的。
上傳時間: 2017-07-07
上傳用戶:tedo811
資源簡介:隨著計算機(jī)科學(xué)的發(fā)展,數(shù)據(jù)庫技術(shù)在Internet中的應(yīng)用越來越廣泛,為廣大網(wǎng)絡(luò)用戶提供了更加周到和人性化的服務(wù)。個性化已逐漸成為當(dāng)今Web應(yīng)用的潮流。利用JSP技術(shù)開發(fā)的網(wǎng)站新聞管理系統(tǒng),實現(xiàn)了網(wǎng)站新聞的動態(tài)管理,因為可以用來動態(tài)發(fā)布新聞信息,所以使得...
上傳時間: 2014-03-05
上傳用戶:84425894
資源簡介:內(nèi)容簡介本書是計算機(jī)科學(xué)的經(jīng)典教材,介紹了計算機(jī)科學(xué)的基礎(chǔ)知識和程序設(shè)計的專門知識。以介紹ANSI C為主線,不僅涵蓋C語言的基本知識,而且介紹了軟件工程技術(shù)以及如何應(yīng)用良好的程序設(shè)計風(fēng)格進(jìn)行開發(fā)等內(nèi)容。本書采用了庫函數(shù)的方法,強(qiáng)調(diào)抽象的原則,詳...
上傳時間: 2022-06-21
上傳用戶:20125101110
資源簡介:離散數(shù)學(xué)教程,離散數(shù)學(xué)是計算機(jī)科學(xué)的基礎(chǔ),學(xué)習(xí)好離散數(shù)學(xué)可以幫助我們更好的理解和設(shè)計各種算法。
上傳時間: 2014-11-29
上傳用戶:waitingfy
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2015-03-16
上傳用戶:aa17807091
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2013-12-25
上傳用戶:李彥東
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2015-05-24
上傳用戶:黑漆漆
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2013-12-25
上傳用戶:yy541071797
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2014-01-10
上傳用戶:it男一枚
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2016-10-09
上傳用戶:com1com2
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2013-11-26
上傳用戶:tonyshao
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2013-12-21
上傳用戶:妄想演繹師
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2017-02-10
上傳用戶:Thuan
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2017-02-10
上傳用戶:pkkkkp
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2017-02-10
上傳用戶:yyq123456789
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2017-02-10
上傳用戶:chenbhdt
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法,為數(shù)...
上傳時間: 2013-12-26
上傳用戶:阿四AIR
資源簡介:本書是關(guān)于計算機(jī)科學(xué)與工程領(lǐng)域的基礎(chǔ)性研究科目之一——數(shù)據(jù)結(jié)構(gòu)與算法的專著。 本書在簡要回顧了基本的C++ 程序設(shè)計概念的基礎(chǔ)上,全面系統(tǒng)地介紹了隊列、堆棧、樹、圖等基本數(shù)據(jù)結(jié)構(gòu),以及貪婪算法、分而治之算法、分枝定界算法等多種算法設(shè)計方法...
上傳時間: 2017-02-24
上傳用戶:葉山豪
資源簡介:本書系統(tǒng)地介紹了數(shù)據(jù)通信和計算機(jī)網(wǎng)絡(luò)領(lǐng)域的基本內(nèi)容。在第1版的基礎(chǔ)上,修改和增加了新的內(nèi)容,包括無線和衛(wèi)星通信、有線電視電纜調(diào)制解調(diào)器、壓縮技術(shù)、密碼技術(shù)、防病毒、100 Mbps以太網(wǎng)、NetWare 4.0、邊界網(wǎng)關(guān)協(xié)議、域名系統(tǒng)、IPv6、異步傳送模式 、使...
上傳時間: 2016-07-13
上傳用戶:李彥東
資源簡介:本書系統(tǒng)地介紹了數(shù)據(jù)通信和計算機(jī)網(wǎng)絡(luò)領(lǐng)域的基本內(nèi)容。在第1版的基礎(chǔ)上,修改和增加了新的內(nèi)容,包括無線和衛(wèi)星通信、有線電視電纜調(diào)制解調(diào)器、壓縮技術(shù)、密碼技術(shù)、防病毒、100 Mbps以太網(wǎng)、NetWare 4.0、邊界網(wǎng)關(guān)協(xié)議、域名系統(tǒng)、IPv6、異步傳送模式 、使...
上傳時間: 2016-10-08
上傳用戶:PresidentHuang
資源簡介:《數(shù)據(jù)庫系統(tǒng)概論》課程實驗報告 對計算機(jī)科學(xué)與技術(shù)的學(xué)生的期末實驗報告 是非常有用
上傳時間: 2015-03-12
上傳用戶:Amygdala
資源簡介:計算機(jī)科學(xué)經(jīng)典著作之一:c++的異常處理,包括工程中的疑問,編程問題和解決方法。
上傳時間: 2015-03-19
上傳用戶:huyiming139