計算機科學無處不在，但傳統教材枯燥無趣，致使很多程序員從未深入研究過這一對於實現高效程序設計至關重要的學科，也將很多對此話題感興趣的非程序員擋在了門外。

本書以簡明扼要的形式介紹計算機科學知識，淺顯易懂，既適合程序員鞏固編程基礎，也適合普通人了解計算機科學和計算思維。

- 梳理了求解問題所需的基本數學知識，將想法轉換為可供計算機執行的解決方案
- 介紹了復雜度，借由時間復雜度與空間復雜度分析評估算法性能
- 算法設計中使用的主要策略
- 數據結構與抽像數據類型，以及它們如何影響*常見的數據操作的性能
- 求解各類問題所用的一些知名算法與技術
- 理解不同類型的數據庫管理繫統及其特性
- 基本的計算機工作原理
- 程序設計的本質

本書面向所有對計算機科學感興趣的讀者，以淺顯易懂的語言和簡明扼要的形式介紹計算機科學領域的重要知識點，盡量少涉及學術概念，著力將抽像理論具體化，復雜問題簡單化，既適合計算機專業技術人員查漏補缺基本理論，也適合普通讀者了解計算思維。

【作者簡介】
Wladston Ferreira Filho 程序員，現任職於Code Energy。極簡主義者。熱衷於學習各種編程語言。

【譯者簡介】
蔣楠 畢業於電子科技大學、維多利亞大學。多年來致力於Web開發與軟件架構設計，對算法、數據密集型應用、分布式數據庫繫統興趣濃厚。非zi深程序員，嚴肅馬拉松跑者。

第 1章預備知識1
1．1想法1
1．1．1流程圖2
1．1．2偽代碼3
1．1．3數學模型4
1．2邏輯5
1．2．1運算符6
1．2．2布爾代數8
1．2．3真值表9
1．2．4邏輯在計算中的應用12
1．3計數13
1．3．1乘法13
1．3．2排列14
1．3．3具有相同項的排列15
1．3．4組合16
1．3．5求和17
1．4概率19
1．4．1對結果計數19
1．4．2獨立事件20
1．4．3互斥事件20
1．4．4對立事件21
1．4．5賭徒謬誤21
1．4．6高級概率21
1．5小結22
第2章 復雜度23
2．1時間計算25
2．2大O 符號28
2．3指數29
2．4內存計算30
2．5小結31
第3章策略33
3．1迭代33
3．2遞歸36
3．3蠻力法38
3．4回溯法40
3．5啟發法43
3．5．1貪心法43
3．5．2利用貪心法求解電網問題45
3．6分治法46
3．6．1利用分治法求解排序問題46
3．6．2利用分治法求解最佳交易問題49
3．6．3利用分治法求解背包問題50
3．7動態規劃51
3．7．1利用記憶化求解斐波那契數52
3．7．2利用記憶化求解背包問題52
3．7．3利用自底向上法求解最佳交易問題53
3．8分支定界法54
3．8．1上界與下界55
3．8．2背包問題中的上界與下界56
3．9小結58
第4章數據59
4．1抽像數據類型60
4．2常見抽像62
4．2．1基本數據類型62
4．2．2棧62
4．2．3隊列63
4．2．4優先隊列63
4．2．5列表64
4．2．6排序列表64
4．2．7映射65
4．2．8集合65
4．3數據結構65
4．3．1數組66
4．3．2鏈表67
4．3．3雙向鏈表68
4．3．4數組與鏈表的比較68
4．3．5樹69
4．3．6二叉查找樹70
4．3．7二叉堆73
4．3．8圖74
4．3．9散列表74
4．4小結75
第5章算法77
5．1排序77
5．2搜索79
5．3圖80
5．3．1圖的搜索80
5．3．2圖著色83
5．3．3尋路83
5．3．4PageRank86
5．4運籌學86
5．4．1線性最優化問題87
5．4．2網絡流問題88
5．5小結89
第6章數據庫91
6．1關繫數據庫92
6．1．1關繫92
6．1．2模式遷移95
6．1．3SQL95
6．1．4索引97
6．1．5事務99
6．2非關繫數據庫99
6．2．1文檔存儲100
6．2．2鍵值對存儲101
6．2．3圖數據庫102
6．2．4大數據103
6．2．5SQL 與NoSQL 的比較103
6．3分布式數據庫104
6．3．1單主機復制104
6．3．2多主機復制105
6．3．3分片105
6．3．4數據一致性107
6．4地理數據庫107
6．5序列化格式108
6．6小結109
第7章計算機111
7．1體繫結構111
7．1．1存儲器112
7．1．2CPU114
7．2編譯器118
7．2．1操作繫統121
7．2．2編譯優化121
7．2．3腳本語言122
7．2．4反彙編與逆向工程123
7．2．5開源軟件124
7．3存儲器層次結構125
7．3．1處理器與存儲器之間的鴻溝125
7．3．2時間局部性與空間局部性126
7．3．3一級緩存127
7．3．4二級緩存127
7．3．5第 一級存儲器與第二級存儲器128
7．3．6外部存儲器與第三級存儲器130
7．3．7存儲技術的發展趨勢130
7．4小結131
第8章程序設計133
8．1語言學133
8．1．1值134
8．1．2表達式134
8．1．3語句135
8．2變量136
8．2．1變量類型136
8．2．2變量作用域137
8．3範式138
8．3．1命令式編程138
8．3．2聲明式編程140
8．3．3邏輯編程144
8．4小結145
附錄147
結語151
後記152