Las estructuras discretas son fundamentales para la ciencia de la computación. Es evidente que las estructuras discretas son usadas en las áreas de estructura de datos y algoritmos , sin embargo son también importantes en otras, como por ejemplo en la verificación, en criptografía y métodos formales.