Matemáticas para la computación: Lógica, demostraciones, funciones y arboles, grafos.