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

Consultas en Excel

Libro Consultas en Excel

El objetivo central de este libro es facilitar al lector la importación diaria de los datos a Excel con las herramientas conocidas hasta el momento, y que si bien son útiles, se deben usar una y otra vez con cada importación. Esta obra está enfocada en dar a conocer una nueva herramienta que nos permite simplificar el proceso de importar datos, limpiarlos y enviarlos a Excel en forma de tabla. La herramienta en cuestión se llama Consultas.

El arte de programar ordenadores. Clasificación y búsqueda

Libro El arte de programar ordenadores. Clasificación y búsqueda

Este volumen comprende los capítulos 5 y 6 de la serie completa. El capítulo 5 está dedicado a la clasificación, que es un tema más bien largo, que se ha dividido principalmente en dos partes: clasificación interna y clasificación externa. El capítulo 6 trata del problema de la búsqueda de ésteres especificados en tablas o ficheros: está subdividido en métodos que buscan secuencialmente o por comparación de claves, o por propiedades digitales, o por desmenuzamiento koshing y luego considera el problema más difícil de recuperación de la clase secundaria.

Token Mithrandir

Libro Token Mithrandir

En este libro podrán encontrar una breve introducción a lo que es el blockchain por un lado, mientras que por otro les contaremos algunas cuestiones básicas sobre cómo está diseñado nuestro proyecto Token Mithrandir, que nació originalmente dentro del ecosistema de Cardano. Creemos necesario que todo proyecto serio esté resguardado por un material académico que le dé una base sólida a la finalidad de lo que se propone cada colectivo de actores humanos que quiere interactuar con la tecnología blockchain, la cual viene siendo utilizada en ciertos Estados del planeta Tierra, mientras ...

Introducción al diseño paramétrico con Autodesk Mechanical Desktop

Libro Introducción al diseño paramétrico con Autodesk Mechanical Desktop

Este libro está dirigido a dos grupos de lectores potenciales. En primer lugar, los estudiantes de asignaturas de diseño asistido por computador para-métrico, en las carreras técnicas relacionadas con la ingeniería y la arquitectura. En segundo lugar, a todos los técnicos y diseñadores de modelos virtuales que deseen aprender a modelar objetos con una herramienta que proporcione un entorno de trabajo de mayor precisión que los programas de modelado de superficies -no orientados al diseño técnico-. Para ambos grupos de lectores, un conocimiento básico de Autocad, en dos y tres...

Libros Recomendados 2026



Últimas Búsquedas


Categorías Destacadas