深入理解運算原理｜從簡單的機器到無所不能的程式

Table of contents

1. 封面
2. 書名頁
3. 授權聲明頁
4. 目錄
5. 前言
6. 誰該讀這本書？
7. 本書編排慣例
8. 使用程式範例
9. 致謝
10. 第1章 夠用的Ruby
11. 互動的Ruby殼層
12. 值
13. 基本資料
14. 資料結構
15. Procs
16. 流程控制
17. 物件和方法
18. 類別和模組
19. 其他的功能
20. 區域變數和指定運算
21. 字串內插
22. 檢閱物件
23. 列印字串
24. Variadic方法
25. 區塊
26. 列舉
27. 結構
28. 猴子修補
29. 定義常數
30. 刪除常數
31. 第1篇 程式和機器
32. 第2章 程式的意義
33. 意義的『意義』
34. 語法
35. 操作語意學
36. 小步語意
37. 大步語意 (1/2)
38. 大步語意 (2/2)
39. 指稱語意
40. 運算式
41. 陳述式
42. 應用
43. 實踐形式語意
44. 形式
45. 找出含義
46. 備擇
47. 實作解析器
48. 第3章 最簡單的電腦
49. 決定論有限自動機
50. 狀態、規則、輸入
51. 輸出
52. 決定論
53. 模擬物
54. 非決定論有限自動機
55. 非決定論
56. 自由移動
57. 正規運算式
58. 語法
59. 語意 (1/2)
60. 語意 (2/2)
61. 解析
62. 等價 (1/2)
63. 等價 (2/2)
64. 第4章 只想加入運算能力
65. 決定論下推自動機
66. 儲存空間
67. 規則
68. 決定論
69. 模擬物
70. 非決定論下推自動機
71. 模擬物
72. 不等價
73. 利用下推自動機解析
74. 詞彙分析
75. 語法分析
76. 實踐
77. 多大的運算能力？
78. 第5章 終極機器
79. 決定論圖靈機
80. 儲存空間
81. 規則
82. 決定論
83. 模擬物
84. 非決定論圖靈機
85. 最大的運算能力
86. 內部儲存空間
87. 副常式
88. 數個磁帶
89. 多維磁帶
90. 通用機
91. 編碼
92. 模擬物
93. 第2篇 運算和運算能力
94. 第6章 無為的程式設計
95. 模仿Lambda演算
96. 使用Proc
97. 問題
98. 數值
99. 布林值
100. 述語
101. 對組
102. 數值運算 (1/2)
103. 數值運算 (2/2)
104. 串列
105. 字串
106. 解決方案 (1/2)
107. 解決方案 (2/2)
108. 程式設計進階技巧 (1/2)
109. 程式設計進階技巧 (2/2)
110. 實作Lambda演算
111. 語法
112. 語意 (1/2)
113. 語意 (2/2)
114. 解析
115. 第7章 四處皆通用
116. Lambda演算
117. 部分遞迴函式 (1/2)
118. 部分遞迴函式 (2/2)
119. SKI組合器演算 (1/2)
120. SKI組合器演算 (2/2)
121. Iota
122. 標籤系統 (1/2)
123. 標籤系統 (2/2)
124. 循環標籤系統 (1/3)
125. 循環標籤系統 (2/3)
126. 循環標籤系統 (3/3)
127. 康威的生命遊戲
128. 規則110
129. 沃夫瑞的2, 3圖靈機
130. 第8章 不可能的程式
131. 生命的事實
132. 通用系統可以執行演算法
133. 程式可以參與圖靈機
134. 程式碼就是資料
135. 通用系統可以永遠循環 (1/2)
136. 通用系統可以永遠循環 (2/2)
137. 程式可以自我參照
138. 可判定性
139. 停機問題
140. 建置停機核對器
141. 絕對無法運作的狀況
142. 其他無法決定的問題
143. 令人沮喪的暗示
144. 為什麼會這樣？
145. 對付不可運算性
146. 第9章 Toyland程式設計
147. 抽象解譯
148. 路線規劃
149. 抽象體：乘法的正負號
150. 安全和近似值：加法的正負號
151. 靜態語意
152. 實作物 (1/2)
153. 實作物 (2/2)
154. 好處和限制
155. 應用
156. 後記
157. 索引 (1/3)
158. 索引 (2/3)
159. 索引 (3/3)
160. 關於作者
161. 出版記事