离散数学(高起专)阶段性作业4