discussion:离散数学