Un algoritmo es un conjunto finito de instrucciones para resolver un problema específico, con características como precisión, finitud y claridad. Existen diferentes tipos de algoritmos, desde cualitativos y cuantitativos hasta deterministas y heurísticos, y su diseño puede realizarse mediante diagramas de flujo o pseudocódigo. La programación estructurada busca dividir problemas en módulos manejables para facilitar su comprensión y solución.