离散数学中的格论在计算机领域中有什么应用