●第1章計算機科學概貌1
●1.1什麼是計算機科學2
●1.1.1計算思維4
●1.1.2步驟、符號、操作與計算過程8
●1.1.3能夠自動執行的抽像16
●1.2計算機科學的發展實例18
●1.2.1巴貝奇問題——計算機繫統實例19
●1.2.2問題——計算機使用模式實例21
●1.2.3圖靈問題——智能應用實例24
●1.2.4計算機科學的三個奇妙之處29
●1.3計算機科學的創新故事36
●1.3.1文王演周易36
●1.3.2自由軟件的故事41
●1.3.3為什麼未來不需要我們46
●1.4編程練習49
●1.5習題53
●第2章計算模型與邏輯思維54
●2.1從一個實例看邏輯思維54
●2.2邏輯思維要點55
●2.2.1布爾邏輯55
●部分目錄
本書從計算思維角度講解計算機科學很基礎的概念和入門知識,討論計算思維的四種具體表現形式: 計算邏輯思維、算法思維、網絡思維、計算繫統思維。為了足夠精準地描述信息變換過程,必須用信息的方式定義並推導信息變換過程涉及的“對”與“錯”,哪些能計算,哪些不能計算。這是計算邏輯思維,它往往需要準確地定義計算模型。我們還需要從信息的角度發現和發明解決各類問題的準確方法,並評價什麼是有效的方法。這是算法思維。有很多問題不是由單個算法解決,而是由多個算法形成網絡來描述和解決。研究有效的網絡需要網絡思維。信息變換過程往往通過具體的計算設備與繫統得以體現。如何設計、評價並使用計算抽像和實用的計算繫統涉及計算繫統思維。