Este documento habla sobre la teoría de la programación. Explica que un programa es la expresión de un algoritmo en un lenguaje de programación que puede ser procesado por una computadora. Detalla los tipos de lenguajes de programación, incluyendo lenguajes de bajo nivel como lenguaje de máquina y ensamblador, y lenguajes de alto nivel como lenguajes secuenciales, estructurados y de programación orientada a objetos. También define algoritmos y sus propiedades, así como pseudocódigo.