2025-1¶ Algoritmos I Jala University Programación por restricciones Programación funcional Infraestructuras Estructuras discretas II ICESI FLP Algoritmos II