Las estructuras discretas proporcionan los fundamentos teóricos necesarios para la computación. Dichos fundamentos no son solo ú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 aplican en áreas como verificación, criptografía, métodos formales, etc.