El documento expone técnicas populares para la formulación de algoritmos, incluyendo diagramas de flujo y pseudocódigo, y proporciona ejemplos prácticos para su comprensión. Describe la estructura del pseudocódigo, su importancia en la programación y las características de los identificadores. Se mencionan también las estructuras de control básicas: secuenciales, selectivas y repetitivas, según el teorema de Böhm y Jacopini.