7DIES

El mejor almacen de libros en formatos PDF, EPUB y MOBI

Introducción a la teoría de la computabilidad

Sinopsis del Libro

Libro Introducción a la teoría de la computabilidad

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:

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

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

Valoración

Popular

3.4

38 Valoraciones Totales


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

Photoshop Tm profesional

Libro Photoshop Tm profesional

Este libro cubre ampliamente la corrección de color, incluida la creación de tonos de piel reales, la corrección de dominancias de color, la garantía de que se utiliza la gama de tonos completa, los problemas de los colores neutros y los sacrificios que es preciso hacer en unas partes de la imagen para mejorar otras. Explica el uso profesional de las herramientas menos obvias para crear contraste y aumentar la nitidez, con una explicación completa del papel de la tinta negra y del color no deseado. Explica técnicas avanzadas de cortado y pegado , la conversion de imágenes en color a...

Elaboración de documentos de texto

Libro Elaboración de documentos de texto

Este manual se presenta actualizado a la versión Word 2019 e incorpora una gran propuesta de ejercicios prácticos para aprender haciendo. Explica de forma detallada el funcionamiento del procesador de textos Microsoft Word 2019, enseña a crear documentos sencillos y otros de mayor complejidad mediante la utilización de plantillas, tablas de contenido y la combinación de correspondencia. Para dar una visión completa, la obra también descubre la integración de este programa con el resto de la familia Office: Excel, Access y PowerPoint. Con un enfoque netamente práctico, ya que cada...

Auditoría de seguridad informática. IFCT0109

Libro Auditoría de seguridad informática. IFCT0109

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición de certificados de profesionalidad. Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño del trabajo.

Active Server Pages (ASP 3.0)

Libro Active Server Pages (ASP 3.0)

""Asp. Iniciación y Referencia"" presenta las principales caracterísitcas y forma de programación de las páginas activas en servidor (ASP, Active Server Pages). El enfoque de este libro se basa en el aprendizaje mediante ejemplos, que se proporcionan de manera gradual según el nivel de dificultad de los mismos. Los lectores con un nivel de programación más bajo y aquellos no familiarizados con el lenguaje empleado (VBScript), encontrarán en la primera mitad del libro explicaciones detalladas y ejemplos cortos ilustrativos convenientemente desarrollados y documentados. La segunda mitad ...

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas