The resources listed here—Velleman, Hammack, PRIMES problems, and the mental habits of refutation and definition recitation—transform 18.090 from a hurdle into a launchpad.
Based on the course number , this guide covers MIT’s "Introduction to Mathematical Reasoning" . This course acts as the critical bridge between computational calculus (like 18.01/18.02) and abstract theoretical mathematics (like 18.100 Analysis or 18.700 Algebra). The resources listed here—Velleman
: Learners explore the properties of fundamental sets, such as the natural numbers, integers, and the formal definition of real numbers. "Extra Quality" in Learning such as the natural numbers