课程名称: 大学计算机—计算思维导论     本讲内容:符号化计算化示例-逻辑