离散数学实验1源程序