离散数学的编程实现