Descripción
Ampliamente elogiado por su claridad y cobertura exhaustiva, este resumen completo de la lógica matemática es adecuado para lectores de diferentes orígenes. Diseñado principalmente para estudiantes universitarios avanzados y de posgrado en matemáticas, el tratamiento también contiene mucho interés para estudiantes avanzados en ciencias de la computación y filosofía.
Una sección introductoria prepara a los lectores para los capítulos sucesivos sobre lógica proposicional y lenguajes y lógica de primer orden. Los capítulos posteriores cambian el énfasis de un enfoque de la lógica desde un punto de vista matemático a la interacción entre las matemáticas y la lógica. Los temas incluyen los teoremas de Gödel, Church y Tarski sobre la incompletitud, la indecidibilidad y la indefinibilidad; un tratamiento riguroso de las funciones recursivas y las relaciones recursivas; la teoría de la computabilidad; y el décimo problema de Hilbert. Numerosos ejercicios aparecen a lo largo del texto, y un apéndice ofrece información útil sobre la teoría de números.
Autor: Richard E. Hodel
Editorial: Dover Publications
Publicado: 20/02/2013
Páginas: 491
Tipo de encuadernación: Tapa blanda
Peso: 1.40 libras
Tamaño: 8.90h x 5.90w x 1.10d
ISBN13: 9780486497853
ISBN10: 0486497852
Categorías BISAC:
- Matemáticas | Lógica
Una sección introductoria prepara a los lectores para los capítulos sucesivos sobre lógica proposicional y lenguajes y lógica de primer orden. Los capítulos posteriores cambian el énfasis de un enfoque de la lógica desde un punto de vista matemático a la interacción entre las matemáticas y la lógica. Los temas incluyen los teoremas de Gödel, Church y Tarski sobre la incompletitud, la indecidibilidad y la indefinibilidad; un tratamiento riguroso de las funciones recursivas y las relaciones recursivas; la teoría de la computabilidad; y el décimo problema de Hilbert. Numerosos ejercicios aparecen a lo largo del texto, y un apéndice ofrece información útil sobre la teoría de números.
Autor: Richard E. Hodel
Editorial: Dover Publications
Publicado: 20/02/2013
Páginas: 491
Tipo de encuadernación: Tapa blanda
Peso: 1.40 libras
Tamaño: 8.90h x 5.90w x 1.10d
ISBN13: 9780486497853
ISBN10: 0486497852
Categorías BISAC:
- Matemáticas | Lógica
Este título no es retornable