Sé que ya se ha hecho una pregunta similar, pero ¿alguien puede sugerir un buen libro de lógica matemática que incluya respuestas a ejercicios? Estoy buscando algo que favorezca el autoestudio y saber si estoy bien o mal con los ejercicios es muy importante para mí. Gracias por cualquier aportación.
Respuestas
¿Demasiados anuncios?
Renato Silva
Puntos
323
Elegí "Introducción a la lógica matemática" de Chiswell y Hodges, que encontré en la guía de Peter Smith, y personalmente lo considero uno de los mejores libros de matemáticas que he leído. Tiene muchos ejercicios, muchos de ellos con soluciones completas. Yo también soy autodidacta y sé lo importante que son los ejercicios con, al menos, respuestas si no soluciones completas.
shredalert
Puntos
174
A Friendly Introduction to Mathematical Logic 2nd Edition por Christopher C. Leary y Lars Kristiansen cumple con todos sus criterios.
Los autores lo han puesto a disposición del público aquí: https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/ .
2 votos
Ver este guía de autoaprendizaje creada por el usuario de MSE Peter Smith .
0 votos
Tal vez la "Lógica de primer orden" de Smullyan. Los ejercicios no tienen respuestas, pero el libro sigue siendo valioso.
0 votos
math.ucla.edu/~ynm/lectures/lnl.pdf
0 votos
Aunque está diseñado para estudiantes que están haciendo la transición a las matemáticas basadas en pruebas, puede que mi tutorial te resulte útil, al menos al principio. Tiene 13 ejemplos trabajados. Al final de cada ejemplo, hay ejercicios, cada uno con pistas y soluciones completas. El tutorial incluye mi software gratuito de comprobación de pruebas, que puede descargarse en mi sitio web dcproof.com