Máquinas de Post: Una Introducción a la Teoría de la Computación
por Martin Davis · 1958
Sinopsis
Introduce la teoría de la computabilidad a través de las máquinas de Post, un modelo de computación que es equivalente a las máquinas de Turing pero a menudo considerado más intuitivo.
Sé el primero en valorar este libro.
Más de Martin Davis
Ver autor →Otras obras del mismo autor en el catálogo
Sobre los Números y la Computación
1958
Máquinas de Turing y funciones recursivas
1958
Computability and Unsolvability
1958
El Problema de la Computación: La Teoría de la Calculabilidad
1958
Principles of Mathematical Logic
1965
Sobre la Computabilidad y la Indecidibilidad
1965
The Logic of Computation
1967
La Máquina Universal: Fundamentos de la Computabilidad
1980
Mathematics and the Mind
1980
Máquinas de Turing
1982
Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science
1983
Introduction to Recursion Theory
1991
El Problema de la Parada: Un Tour A Través de la Teoría de la Computación
1993
Sets, Relations, and Functions
1995
Computational Complexity: A Modern Approach
1998
Libros similares
Libros relacionados según distintos criterios de búsqueda