出版者的話 譯者序 前言 *一部分 邏輯與等式 *1章 計算機繫統:原理簡單,行為復雜 2 1.1 硬件與軟件 2 1.2 程序的結構 4 1.3 深藍與歸納定義 7 習題 10 *2章 布爾公式和等式 11 2.1 利用等式推理 11 習題 13 2.2 布爾等式 13 習題 19 2.3 布爾公式 19 習題 22 2.4 數字電路 23 習題 26 2.5 演繹推理 27 習題 36 2.6 謂詞和量詞 37 習題 40 2.7 量化謂詞的推理 40 習題 47 2.8 布爾模型 47 習題 52 2.9 謂詞和量詞的一般模型 52 第3章 軟件測試和前綴法 55 習題 59 第4章 數學歸納 61 4.1 數學對像列表 61 習題 65 4.2 數學歸納法 65 習題 71 4.3 Defun:ACL2中運算符的定義 71 4.4 連接、前綴和後綴 72 習題 77 第5章 機械化邏輯 78 5.1 ACL2定理與證明 78 5.2 使用已證的定理庫 80 習題 80 5.3 約束定理 81 習題 83 5.4 輔助機械化邏輯工作 83 習題 86 5.5 自動化證明及其做不到的事 86 習題 92 *二部分 計算機算術 第6章 二進制數字 94 6.1 數和數字 94 習題 98 6.2 從數字到數 99 習題 102 6.3 二進制數字 103 習題 104 第7章 加法器 106 7.1 數字相加 106 習題 106 7.2 一位二進制數字加法電路 106 7.3 兩位二進制數字加法電路 109 習題 110 7.4 w位二進制數字加法 110 習題 113 7.5 負數的數字 114 習題 116 第8章 乘法器和大數算法 118 8.1 大數加法器 118 習題 121 8.2 移位相加乘法器 121 習題 124 第三部分 算法 第9章 多路復用器和解復用器 126 9.1 多路復用器 126 習題 129 9.2 解復用器 129 習題 131 *10章 排序 132 10.1 插入排序 132 習題 135 10.2 保序合並 135 習題 137 10.3 歸並排序 137 習題 139 10.4 排序算法分析 139 10.4.1 計算步驟的計數 139 習題 141 10.4.2 計算解復用的步數 141 習題 142 10.4.3 計算歸並的步數 143 習題 144 10.4.4 計算歸並排序的步數 144 習題 147 10.4.5 計算插入排序的步數 147 習題 149 *11章 搜索樹 150 11.1 查找事物 150 11.2 平衡二叉樹 152 11.3 搜索樹的表示 154 11.4 有序搜索樹 155 習題 156 11.5 平衡搜索樹 156 習題 157 11.6 搜索樹中插入新項目 157 習題 159 11.7 順序插入 159 習題 163 11.8 雙旋轉 164 習題 167 11.9 快速插入 167 習題 169 *12章 哈希表 170 12.1 列表和數組 170 12.2 哈希運算符 172 習題 177 12.3 一些應用 178 第四部分 計算實踐 *13章 Facebook分片技術 182 13.1 技術挑戰 182 13.2 權宜之計 183 13.2.1 緩存 183 13.2.2 分片 184 13.3 Cassandra的解決方案 185 13.4 小結 186 *14章 MapReduce的並行計算 187 14.1 水平擴展和垂直擴展 187 14.2 MapReduce的策略 188 14.3 基於MapReduce的數據挖掘 191 14.4 小結 195 *15章 計算機藝術創作 196 15.1 在計算機中表示圖像 196 15.2 隨機生成圖像 198 15.3 生成目標圖像 201 索引 203
|