No estoy seguro de si este post sigue activo. Escribí "mathematics Proofs" en amazon books y obtuve 5-7 libros de aspecto decente. Rotman es un buen autor creo
Me solidarizo con su situación. Creo que un libro como el de Velleman podría ser útil. A fin de cuentas es un camino duro aprender sobre pruebas. Pero es divertido cuando le coges el truco. Consigue un tutor de vez en cuando para que te dé su opinión.
Hice mi transición a las matemáticas avanzadas utilizando el libro de Spivak. Tomé una clase con él en mi primer año después de la escuela secundaria, y tomó mucho tiempo para acostumbrarse y ayuda de amigos con cervezas. Luego pasé un verano estupendo repasando Spivak por segunda vez, haciendo poco a poco todos los problemas de la clase más avanzada. Fue una experiencia formativa para mí. (Al final obtuve mi doctorado y me dediqué al mundo académico durante un tiempo, pero probablemente lo deje pronto).
Así que consejo sobre Spivak: Sí, dale tiempo sigue trabajando en los problemas, repásalo una y otra vez. Busca ayuda, habla con gente si conoces a alguien. Creo que aprender matemáticas es muy osmótico. Es muy útil que alguien que las tenga en sus huesos te dé una idea.
Para los límites, me resultó útil centrarme sólo en los polinomios al principio. Spivak hace un ejemplo detallado. Puedes seguir el mismo patrón para cualquier polinomio, como un algoritmo para escribir la demostración. Una vez que tuve eso bajo mi cinturón, gané algo de confianza con las pruebas de límites.
En el caso de las propiedades de los números reales es un poco sutil y cada vez apreciarás más sus aspectos sutiles a medida que avances. No te obsesiones con ello.
He mirado el libro de Velleman que mencionas. Parece que debería ayudar un poco. Pero no te quedes atascado ahí, salta a las pruebas y problemas que realmente te interesen, hay muchos muy chulos en Spivak.
Si Velleman no te ayuda, prueba con algunos de los que aparecen al escribir "mathematics proofs" en amazon.
Aquí tiene algunas. Lamentablemente no puedo recomendar ninguno en particular (creo que Rotman es un buen autor). Buena suerte.
Pruebas matemáticas: A Transition to Advanced Mathematics (3rd Edition) (Títulos destacados para la transición a la... by Gary Chartrand, Albert D. Polimeni and Ping Zhang (Sep 27, 2012)
La demostración en matemáticas: An Introduction de Albert Daoud y James Franklin (17 de mayo de 2012) Formatos
Pruebas y fundamentos: A First Course in Abstract Mathematics por Ethan D. Bloch (1 de junio de 2000)
Viaje a las matemáticas: Una introducción a las pruebas (Dover Books on Mathematics) por Joseph J. Rotman (21 dic 2012)
Una transición a las matemáticas con pruebas (International Series in Mathematics) Tapa dura - 30 de diciembre de 2011 por Michael J Cullinane