第1章 計算的對象和本質
第2章 可計算函數——遞歸函數
2.0 預備知識
2.1 分解計算、逐步計算的思想
2.2 原始函數
2.3 遞歸函數的構造方法
2.3.1 復閤方法
2.3.2 遞歸方法
2.4 遞歸函數的傢族
2.5 遞歸函數的通俗解釋
第3章 計算機的數學原理
3.1 數學運算的基礎
3.2 希爾伯特第十問題及其自動化解決思想
3.3 圖靈機原理
3.4 圖靈機的局部改進和變形
3.4.1 多帶圖靈機
3.4.2 圖靈機的復閤
3.4.3 圖靈機參數的限定
第4章 語言的計算
4.1 圖靈計算的分類
4.2 語言的可計算性
4.3 作為枚舉器的圖靈機
4.4 作為語言識彆器（接受器）的圖靈機
4.5 圖靈機和短語語法
4.6 綫性有界自動機與上下文有關語法
4.7 下推自動機與上下文無關語法
4.8 確定型有窮自動機與正則語法
4.9 不確定型有窮自動機與正則語法
4.10 自動機接受的語言
第5章 判定問題的可計算性
5.1 基本概念
5.2 不可判定性問題實例
5.2.1 丟番圖方程整數解問題
5.2.2 對角綫函數
5.2.3 停機問題
5.2.4 邏輯蘊含
5.2.4 哥德爾語句G
第6章 計算模型的應用
6.1 計算機模擬圖靈機
6.2 語言識彆和語法驗證
6.3 邏輯推理
6.4 計算復雜性分析
· · · · · · (收起)