课程名称: 大学计算机--计算思维的视角     本讲内容:1.2.2 逻辑学