1.2.3　計算思維與計算機的關系

計算思維具有計算機的許多特征，但計算思維本身并不是計算機的專屬。即使沒有計算機，計算思維也會逐步發展，但是計算機的出現，給計算思維的研究和發展帶來了根本性的變化。什么是計算？什么是可計算？什么是可行計算？計算思維的這些性質由于計算機的出現得到了徹底的研究。由此不僅推進了計算機的發展，也推進了計算思維本身的發展。在這個過程中，一些屬于計算思維的特點被逐步揭示出來，計算思維和理論思維、實驗思維的差別越來越清晰化。計算機及計算思維的內容得到了不斷的豐富和發展。

計算機方法論與計算思維研究的重點不同，它更關注計算學科認識理論體系的構建，也就是計算學科概念認知模型的構建。計算機方法論借鑒了一般科學技術方法論的思想，采用了抽象、理論和設計以“認知從感性認識（抽象）到理性認識（理論），再由理性認識（理論）回到實踐（設計）”作為唯一原始命題，構建了計算學科認知領域的理論體系，完成了計算學科認知模型框架的構建。從思維角度看，計算科學主要研究思維的概念、方法和內容，并發展為解決問題的一種思維方式，極大地推動了計算思維的發展。

總的來說，計算思維與計算機方法論的研究，就相當于現代數學思維與數學方法論的關系，當然相比于數學，計算機方法論的研究要簡單一些。計算思維和計算機方法論的研究內容有堅實的基礎，它建立在世界著名計算機組織ACM和IEEE-CS大量研究工作結論的基礎上，并且與國外計算思維方面的研究互通互補，積極地吸收國外教育的先進理念。

雖然研究視角不太一樣，但是計算思維與計算機方法論注重的都是計算學科最基本的東西。計算思維是從學科思維的簡易層面討論學科的思維方式，計算機方法論是從方法論的角度去討論學科的本質問題。計算思維直接抓住思維的本質，即抽象（Abstraction）與自動化（Automation）來討論問題，并用大量的實例討論它們與數學和物理等學科的不同，以及這種強大的思維能力對其他學科的影響。例如，在對指令和數據的研究中，層次性、迭代表述、循環表述各種組織結構被明確提出來，這些研究成果也使計算思維的具體形式和表達方式更加清晰。