第1章 計算機科學概貌
1.1 什麼是計算機科學
1.1.1 計算思維
1.1.2 步驟、符號、操作與計算過程
1.1.3 能夠自動執行的抽像
1.2 計算機科學的發展實例
1.2.1 巴貝奇問題——計算機繫統實例
1.2.2 **問題——計算機使用模式實例
1.2.3 圖靈問題——智能應用實例
1.2.4 計算機科學的三個奇妙之處
1.3 計算機科學的創新故事
1.3.1 文王演周易
1.3.2 自由軟件的故事
1.3.3 為什麼未來不需要我們
1.4 編程練習
1.5 習題
第2章 計算模型與邏輯思維
2.1 從一個實例看邏輯思維
2.2 邏輯思維要點
2.2.1 布爾邏輯
2.2.2 圖靈機模型
2.2.3 悖論與不完備定理
2.2.4 能夠自動執行的精準邏輯
2.3 計算邏輯的創新故事
2.3.1 布爾的故事
2.3.2 圖靈的故事
2.3.3 臭蟲與病毒
2.4 習題
第3章 算法思維
3.1 從一個實例看算法
3.2 算法思維的要點與實例
3.2.1 分治算法
3.2.2 其他算法實例
3.2.3 算法復雜度淺介
3.3 算法的創新故事
3.3.1 平穩復雜度
3.3.2 紅帽的故事
3.3.3 創業公司五步曲
3.4 編程練習
3.5 習題
第4章 網絡思維
4.1 從一個實例看網絡與協議
4.2 網絡思維的要點
4.2.1 名字空間
4.2.2 網絡拓撲
4.2.3 互聯網協議棧
4.2.4 服務質量與用戶體驗
4.2.5 網絡的規律舉例
4.3 網絡的創新故事
4.3.1 ARPANET