軟件研究的終極目的是解決社會/自然問題，將社會/自然問題用符號表達，基于符號進行計算，將計算用軟件來實現，是解決社會/自然問題的基本思維模式。

• 符號化 -> 計算化 -> 自動化 是最基本的抽象與自動化機制
• 符號化 -> 計算化 -> 自動化 是軟件工程學科的基本思維模式
• 符號化 -> 計算化 -> 自動化 是軟件工程學科能力培養的第一步

符號化

符號化是將現象抽象為符號，進行符號組合，利用符號組合來表達現象。
符號化的目的是進行基于符號化的演算，即符號組合的變化方式。

計算化 - 思維是否可以計算？

邏輯 是指事物因果之間所遵循的規律，是現實中普適的思維方式，可以符號化并進行基于符號的計算。
邏輯的基本表現形式是命題和推理：

• 命題 由語句表述，即內容為“真”或為“假”的一個判斷語句
• 推理 即依據簡單命題的判斷推導得出復雜命題的判斷結論的過程
  基本的邏輯運算：與(AND)、或(OR)、非(NOT)、異或(XOR)。
  

自動化 - 算法與程序

可在機器上執行的求解問題的操作規則和步驟，被稱為可執行的算法。
高級程序語言 是類似于自然語言方式、以語句為單位書寫程序的規范/標準，并開發了一個翻譯程序，實現了將高級程序語言自動翻譯成機器程序語言的功能。
所有計算機程序語言都必須轉換成機器語言，機器才能執行。

總結

以上是生活随笔為你收集整理的计算思维的起步 - 符号化、计算化与自动化的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。