discussion:en:离散数学