离散数学实验指导书(2011-5-16) -