离散数学及其在计算机中的应用 计算机科学