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