13008134离散数学实验报告1