离散数学在计算机方面的应用