计算思维 第2讲-符号化-计算化-自动化