Computabilidad y Lógica

Computability and Logic se ha convertido en un clásico por su accesibilidad para estudiantes sin experiencia matemática y porque cubre no solo los temas principales de un curso de lógica intermedio, como los teoremas de incompletitud de Gödel, sino también un gran número de temas opcionales, desde la teoría de computabilidad de Turing hasta el teorema de Ramsey. Incluyendo una selección de ejercicios, ajustados para esta edición, al final de cada capítulo, ofrece un tratamiento nuevo y más simple de la representabilidad de las funciones recursivas, un obstáculo tradicional para los estudiantes en el camino hacia los teoremas de incompletitud de Gödel.

Autor: George Boolos, John P. Burgess, Richard C. Jeffrey
Editorial: Cambridge University Press
Publicado: 29/11/2007
Páginas: 366
Tipo de encuadernación: Tapa blanda
Peso: 1.44lbs
Tamaño: 9.95h x 7.09w x 0.75d
ISBN13: 9780521701464
ISBN10: 0521701465
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica

Este título no es retornable