课程名称: 离散数学     本讲内容:7.1视频