18.090 Introduction To Mathematical Reasoning Mit May 2026

18.090 — Introduction to Mathematical Reasoning (overview & key content)

Course purpose

Prepare students to read, write, and understand rigorous mathematical proofs; transition from computational to proof-based mathematics; develop precise logical reasoning and clear mathematical writing.

• Translating informal reasoning into formal proofs
• Writing clear, logical, step-by-step arguments
• Common pitfalls (ambiguous quantifiers, hidden assumptions, circular reasoning)

18.090 emphasizes the messy, exploratory front-end of math. You learn how to: 18.090 introduction to mathematical reasoning mit

Is 18.090 Right for You? A Decision Matrix

Not everyone at MIT takes 18.090. Some arrive with AP credit in BC Calculus and a strong background in math competitions (IMO, USAMO). For those students, 18.090 might be redundant. However, for the following archetypes, 18.090 is non-negotiable: 18.090 emphasizes the messy

The Textbook: Hammack’s "Book of Proof"

The official required text for 18.090 is often Richard Hammack’s "Book of Proof" (Third Edition). Remarkably, this textbook is available free online under a Creative Commons license, though MIT students typically purchase a physical copy. USAMO). For those students