第二讲:符号化,计算化,自动化