Este documento resume la historia y características de los principales paradigmas de programación, incluyendo imperativa, orientada a objetos, funcional y lógica. También describe los modelos de cómputo subyacentes como la máquina de Turing y el cálculo lambda. Además, explica los conceptos de traducción de lenguajes, analizando la sintaxis y semántica de los programas.