离散数学 对偶与范式