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