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