Computabilidad y lógica se ha convertido en un clásico debido a su accesibilidad a los estudiantes con poca formación matemática y porque abarca no sólo los temas básicos de un curso de lógica intermedia, como teoremas de incompletitud de Gödel, sino también un gran número de temas opcionales, de la teoría de Turing de la computabilidad: Teorema de Ramsey. Incluye una selección de ejercicios al final de cada capítulo.Computabilidad y lógica se ha convertido en un clásico debido a su accesibilidad a los estudiantes con poca formación matemática y porque abarca no sólo los temas básicos de un curso de lógica intermedia, como teoremas de incompletitud de Gödel, sino también un gran número de temas opcionales, de la teoría de Turing de la computabilidad: Teorema de Ramsey. Incluye una selección de ejercicios al final de cada capítulo.
Entradas
