¿Para qué sirven las Matemáticas discretas en Informática?