I'm not sure that this is the appropriate forum for this question but the snooping around that I've don of the site makes me feel as if I'll get solid advice. I'm currently finishing an introductory course in Linear Algebra, which, from what I understand is one of the last "computational" courses in mathematics that most students take. I've finished the Calculus sequence through vector calculus and differential equations and I am transferring to my local university (University of Arizona) in the spring to being 300+ level math courses.
I guess I'm trying to solicit advice on how to make the math transition as smooth as possible. My first semester at the University consists of a course title "Formal Mathematical Reasoning and Writing" which is essentially an introduction to proof. The text is Analysis with an Introduction to Proof by Lay and from what I understand, is a fairly difficult transitional math course. It is the pre-req for just about every course thereafter (Real Analysis, Linear Algebra, Abstract Algebra, Topology, etc.). I want to be as prepared as possible going into the course and I've done a few basic proofs in my Linear Algebra course and they've been challenging to say the least. Are there any good self-study resources that anyone can recommend? Anyone willing to share experiences of making the transition from more computational mathematics to theoretical mathematics?
Any thoughts are very much appreciated, and if this is not meant for this venue, I apologize and will take this down.