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