计算思维的起步 - 符号化、计算化与自动化

软件研究的终极目的是解决社会/自然问题，将社会/自然问题用符号表达，基于符号进行计算，将计算用软件来实现，是解决社会/自然问题的基本思维模式。

• 符号化 -> 计算化 -> 自动化 是最基本的抽象与自动化机制
• 符号化 -> 计算化 -> 自动化 是软件工程学科的基本思维模式
• 符号化 -> 计算化 -> 自动化 是软件工程学科能力培养的第一步

符号化

符号化是将现象抽象为符号，进行符号组合，利用符号组合来表达现象。
符号化的目的是进行基于符号化的演算，即符号组合的变化方式。

计算化 - 思维是否可以计算？

逻辑 是指事物因果之间所遵循的规律，是现实中普适的思维方式，可以符号化并进行基于符号的计算。
逻辑的基本表现形式是命题和推理：

• 命题 由语句表述，即内容为“真”或为“假”的一个判断语句
• 推理 即依据简单命题的判断推导得出复杂命题的判断结论的过程
  基本的逻辑运算：与(AND)、或(OR)、非(NOT)、异或(XOR)。