离散数学第二版计算机系