Las estructuras discretas proporcionan los fundamentos teóricos necesarios para la computación. Dichos fundamentos no son sólo útiles para desarrollar la computación desde un punto de vista teórico como sucede en el curso de teoría de la computación, sino que también son útiles para la práctica de la computación; en particular se aplica en áreas como verificación, criptografía, métodos formales, etc.