Las matemáticas discretas en la ingeniería de software