Introducción a la teoría de la computabilidad, Hans Hermes, Tecnos, 1984

"Introducción a la teoría de la computabilidad" de Hans Hermes es una obra clásica en el campo de la lógica matemática y la teoría de la computación. Fue originalmente publicada en alemán como "Einführung in die mathematische Logik" y más tarde traducida y adaptada con el enfoque específico en computabilidad.

Esta obra es una introducción rigurosa pero accesible a la teoría de la computabilidad, también conocida como teoría de funciones recursivas o teoría de funciones computables. Está dirigida principalmente a estudiantes de matemáticas, lógica o informática, y cubre conceptos fundamentales como:

• Máquinas de Turing
• Funciones recursivas
• Algoritmos y decidibilidad
• Problemas no computables
• Relaciones entre lógica matemática y computación

El enfoque de Hermes es formal y metódico, ideal para quienes desean una base matemática sólida en el estudio de qué problemas pueden (y no pueden) resolverse mediante algoritmos.

Hans Hermes fue una figura clave en la lógica matemática del siglo XX, y su claridad para exponer temas complejos lo convierte en un autor muy valorado. Aunque la teoría de la computabilidad ha avanzado, sus bases siguen siendo las mismas, y este libro es un excelente punto de partida para estudiantes serios y coleccionistas interesados en los fundamentos teóricos de la informática.

Encontrar este texto en tan buen estado no es sencillo, pues e trata de una obra de valor técnico histórico y totalmente descatalogada.

+++

Más libros de ciencias y otros temas en el catálogo.

También pago por BIZUM. En tal caso, se informará mediante mensaje del precio del envío en función de las necesidades del cliente.

Aproveche y añada más libros de mis lotes a su envío, reduciendo los costes.

Revísese el resto del catálogo. Precio especial y descuento en gastos de envío si se adquieren varios artículos.

Entrega personalmente en Málaga a partir de 20 euros. Posibilidad de entregar en mano también en Granada y Barcelona, dependiendo de la cantidad.