离散数学形考任务3