18.090 serves as Stage 1 of the MIT Logic and Pure Math Roadmap. Depending on a student's exact major goals, it pairs with or precedes several tracks: Next-Step Course Focus Area Why 18.090 Helps (Real Analysis) Continuous Math & Calculus Theory Prepares students for rigorous continuity and convergence proofs. 18.701 (Algebra I) Discrete Algebraic Structures
Free that cover this material Share public link
: Students looking to complete the Pure Mathematics Option within Course 18.
Do you need to test your current skills? 18.090 introduction to mathematical reasoning mit
: Students learn direct proofs, contradiction, induction, and contraposition.
This course serves as the bridge between computational calculus (like 18.01/18.02) and abstract mathematics (like 18.100 Real Analysis or 18.701 Algebra). It is designed to teach students how to write rigorous proofs and think abstractly.
Understanding how to group objects together based on shared characteristics, which lays the groundwork for modular arithmetic and modern algebra. 4. Cardinality and Infinity Do you need to test your current skills
: Demystifying logical statements using universal ( ∀for all ) and existential ( ∃there exists ) quantifiers.
: Transitioning from concrete numbers to abstract sets, fields, and vector spaces. Syllabus and Foundational Topics
However, the Math Department recommends concurrent enrollment in —officially 18.02 (Multivariable Calculus)—to ensure students have a sufficient mathematical foundation. The department specifically designed 18.090 to be taken concurrently with 18.02 , making it an ideal entry point for students who have completed single-variable calculus and are eager to start proof-based work without delay. It is designed to teach students how to
You cannot skim a math textbook the way you skim a novel. Every word, comma, and symbol in a definition matters. When a theorem is presented, grab a piece of paper and try to sketch a small example to see why it works. Embrace the "Stuck" State
The course is primarily intended for students who want to build a solid foundation in mathematical proof construction
Divisibility, modular arithmetic, greatest common divisors (GCD), the Euclidean algorithm, and Bézout's identity. This is where you get your hands dirty with actual math.
For many students, transitioning from high school calculus to university-level mathematics feels like entering a completely different world. In introductory courses, math is often about computation, algorithms, and finding a numerical answer. High-level mathematics, however, is about structure, logic, and proof.