軟件研究的終極目的是解決社會(huì)/自然問(wèn)題，將社會(huì)/自然問(wèn)題用符號(hào)表達(dá)，基于符號(hào)進(jìn)行計(jì)算，將計(jì)算用軟件來(lái)實(shí)現(xiàn)，是解決社會(huì)/自然問(wèn)題的基本思維模式。

• 符號(hào)化 -> 計(jì)算化 -> 自動(dòng)化 是最基本的抽象與自動(dòng)化機(jī)制
• 符號(hào)化 -> 計(jì)算化 -> 自動(dòng)化 是軟件工程學(xué)科的基本思維模式
• 符號(hào)化 -> 計(jì)算化 -> 自動(dòng)化 是軟件工程學(xué)科能力培養(yǎng)的第一步

符號(hào)化

符號(hào)化是將現(xiàn)象抽象為符號(hào)，進(jìn)行符號(hào)組合，利用符號(hào)組合來(lái)表達(dá)現(xiàn)象。
符號(hào)化的目的是進(jìn)行基于符號(hào)化的演算，即符號(hào)組合的變化方式。

計(jì)算化 - 思維是否可以計(jì)算？

邏輯 是指事物因果之間所遵循的規(guī)律，是現(xiàn)實(shí)中普適的思維方式，可以符號(hào)化并進(jìn)行基于符號(hào)的計(jì)算。
邏輯的基本表現(xiàn)形式是命題和推理：

• 命題 由語(yǔ)句表述，即內(nèi)容為“真”或?yàn)椤凹佟钡囊粋€(gè)判斷語(yǔ)句
• 推理 即依據(jù)簡(jiǎn)單命題的判斷推導(dǎo)得出復(fù)雜命題的判斷結(jié)論的過(guò)程
  基本的邏輯運(yùn)算：與(AND)、或(OR)、非(NOT)、異或(XOR)。
  

自動(dòng)化 - 算法與程序

可在機(jī)器上執(zhí)行的求解問(wèn)題的操作規(guī)則和步驟，被稱為可執(zhí)行的算法。
高級(jí)程序語(yǔ)言 是類似于自然語(yǔ)言方式、以語(yǔ)句為單位書寫程序的規(guī)范/標(biāo)準(zhǔn)，并開發(fā)了一個(gè)翻譯程序，實(shí)現(xiàn)了將高級(jí)程序語(yǔ)言自動(dòng)翻譯成機(jī)器程序語(yǔ)言的功能。
所有計(jì)算機(jī)程序語(yǔ)言都必須轉(zhuǎn)換成機(jī)器語(yǔ)言，機(jī)器才能執(zhí)行。

總結(jié)

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

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。