A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided. Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models. and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics. At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.

En los años cincuenta, Isabel, una chica humilde del barrio de Las Cuevas, entrará a trabajar como personal de servicio en la finca de Los Marqueses de El Piélago. Apenas transcurre un día cuando, el señorito Rafael, hijo de los marqueses y estudiante que cursa su último año de medicina, se instalará en el cortijo para pasar el verano. Ella, nada más verle, se enamorará perdidamente y a él, Isabel, no le será del todo indiferente. Un amor a primera vista, pero inalcanzable, porque su madre, la señora marquesa, una persona desequilibrada, impedirá por todos los medios que su hijo no tenga otro trato con ella que no sea el de su mismo rango, una criada. Le hará, a Isabel, la vida imposible. Recordándole, continuamente, su posición social. Por otro lado, la señora marquesa, intentará convencer a su hijo, de que debe comprometerse con la señorita María Eugenia, hija de un importante y acaudalado empresario de una ciudad colindante. Isabel luchará por ese amor a pesar de los obstáculos que se antepondrán en su camino. Al mismo tiempo, mientras trabaja en el cortijo, descubrirá el secreto que, celosamente, guarda, desde hace años, el marquesado.