Descripción
Una introducción concisa a los modelos de computación y a la teoría de la computabilidad ofrece una introducción a los conceptos esenciales de la computabilidad, utilizando varios modelos de computación, desde las máquinas de Turing estándar y las funciones recursivas hasta los modelos de computación modernos inspirados en la física cuántica. Se proporciona un análisis en profundidad de los conceptos básicos que subyacen a cada modelo de computación.
Dividido en dos partes, la primera destaca los modelos de computación tradicionales utilizados en los primeros estudios sobre la computabilidad: - Autómatas y máquinas de Turing; - Funciones recursivas y el cálculo lambda; - Modelos de computación basados en la lógica.
y la segunda parte cubre los modelos orientados a objetos y basados en la interacción. También hay un capítulo sobre concurrencia y un capítulo final sobre modelos de computación emergentes inspirados en la mecánica cuántica.
Al final de cada capítulo hay una discusión sobre el uso de modelos de computación en el diseño de lenguajes de programación.
Autor: Maribel Fernandez
Editorial: Springer
Publicado: 21/04/2009
Páginas: 184
Tipo de encuadernación: Tapa blanda
Peso: 0.75lbs
Tamaño: 9.10h x 6.90w x 0.60d
ISBN13: 9781848824331
ISBN10: 1848824335
Categorías BISAC:
- Informática | Desarrollo e ingeniería de software | General
- Informática | Lenguajes | General
- Informática | Informática teórica