离散数学-前束范式