Computability : Turing, Gödel, Church, and beyond /

Mostrar otras versiones (2)

"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Copeland, B. Jack, 1950- (Editor ), Posy, Carl J. (Editor ), Shagrir, Oron, 1961- (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Massachusetts : The MIT Press, [2013]
Temas:
Computational complexity.
Mathematics > Philosophy.
Complexité de calcul (Informatique)
Mathématiques > Philosophie.
COMPUTERS > Machine Theory.
Computational complexity
Mathematics > Philosophy
COMPUTER SCIENCE/General
MATHEMATICS & STATISTICS/General
PHILOSOPHY/General
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares