Un programa es un conjunto de instrucciones que una computadora sigue para resolver problemas mediante la programación, que implica definir el problema, diseñar un algoritmo, codificar, depurar y verificar. Existen diferentes tipos de programas: secuenciales, condicionales y repetitivos, así como algoritmos que tienen características como ser finitos, definidos, modulares, eficientes, comprensibles y modificables. Además, se utilizan datos en forma de variables y constantes, y hay diversas formas de representar algoritmos, incluyendo lenguaje natural, pseudocódigo y diagramas de flujo.