Introducción a la teoría de la computabilidad

Sinopsis del Libro

Esta obra, dirigida fundamentalmente a estudiantes de ingenierías informáticas, presenta los conceptos fundamentales de la teoría de la computabilidad. Abarca los temas de computabilidad, máquinas de Turing, funciones recursivas, computación universal y decibilidad e indecibilidad, junto con un tema de preliminares matemáticos necesarios para la comprensión del texto. En todo momento se utiliza un enfoque práctico relacionando todos estos conceptos con la experiencia de los estudiantes en lenguajes de programación. Se proponen más de cien problemas, de los que se incluye la solución en un apéndice.

Ficha Técnica del Libro

Número de páginas 236

Autor:

Domingo Gallardo López
Pilar Arques Corrales
Ignacio Lesta Pelayo

Categoría:

Informática

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

A continuación, te enseñamos varias alternativas para conseguir el libro.

Opciones de Descarga

Valoración

Popular

3.4

38 Valoraciones Totales

Más libros de la categoría Informática

Inseguridad de la información

Asegurar la información clave en el contexto empresarial, en un mundo altamente interconectado, basado en redes sociales y con sobrecarga de información (particularmente instantánea), es un reto para cualquier ejecutivo de seguridad de la información.

Azure Cloud Security for Absolute Beginners

Implement cloud security with Azure security tools, configurations and policies that address the needs of businesses and governments alike. This book introduces you to the most important security solutions available in Azure and provides you with step-by-step guidance to effectively set up security and deploy an application on top of Azure platform services, as well as on top of Azure infrastructure. Author Pushpa Herath begins by teaching you the fundamentals of Azure security. An easy to follow exploration of management groups, subscriptions, management locks and Azure policies further...

HTML5 Avanzado: HTML5 en Profundidad

HTML5 (HyperText Markup Language, versión 5) es la quinta revisión importante del lenguaje básico de la World Wide Web, HTML. HTML5 especifica dos variantes de sintaxis para HTML: un «clásico» HTML (text/html), la variante conocida como HTML5 y una variante XHTML conocida como sintaxis XHTML5 que deberá ser servida como XML (XHTML) (application/xhtml+xml).1 2 Esta es la primera vez que HTML y XHTML se han desarrollado en paralelo. Todavía se encuentra en modo experimental, lo cual indica la misma W3C; aunque ya es usado por múltiples desarrolladores web por sus avances, mejoras y...

Diseño de aplicaciones mediante el uso intensivo de datos

Los datos están en el centro de muchos desafíos que se presentan actualmente en el diseño de sistemas. Hay que resolver cuestiones complejas, como la escalabilidad, la coherencia, la fiabilidad, la eficiencia y el mantenimiento. Además, existe una abrumadora variedad de herramientas, incluyendo bases de datos relacionales, almacenes de datos NoSQL, procesadores de flujo o por lotes y gestores de mensajes. ¿Cuáles son las opciones correctas para nuestra aplicación? ¿Cómo podemos entender todos estos conceptos que están de moda? En esta guía práctica, el autor Martin Kleppmann le...

Libros Recomendados 2025