La programación estructurada es un paradigma que utiliza solo tres estructuras de control: secuencia, selección e iteración. Esto surgió en la década de 1960 para mejorar la claridad y calidad del código. El teorema del programa estructurado demuestra que estas tres estructuras son suficientes para expresar cualquier programa computable. Los lenguajes de programación modernos incluyen estructuras como if/else, bucles for y while que siguen este paradigma y permiten modificar el flujo de ejecución de un programa de manera ordenada.