El propósito de este texto es explicar los conceptos que subyacen bajo los lenguajes de programación y examinar los paradigmas más importantes que los utilizan.

Los lenguajes de programación puede entenderse con un número relativamente pequeño de conceptos. En particular, un lenguaje de programación es la realización sintáctica de uno o más modelos computacionales. La relación entre la sintaxis y el modelo de cálculo es la proporcionada por una descripción semántica. La semántica da sentido a los programas. El modelo computacional proporciona gran parte de la estructura intuitiva con la que se articulan y construyen los programas. Cuando un lenguaje de programación es fiel al modelo de cálculo, sus programas pueden ser fácilmente escritos y comprendidos.

En este libro se presentan los paradigmas más relevantes como son la programación funcional, lógica, imperativa o concurrente. Del mismo modo, se le dedica un amplio capítulo a la programación orientada a objetos (POO).