18.090: Introduction to Mathematical Reasoning is a specialized undergraduate subject at MIT designed to bridge the gap between calculation-based math (like standard calculus) and the abstract world of rigorous proofs. MIT Mathematics Purpose and Audience

MIT does not always assign a single mandatory text for this course, as professors often use custom notes. However, the standard texts used are:

: Learning various methods of proof, such as direct proof, contraposition, and mathematical induction.

MIT is famous for intensity, but 18.090 is often described as