By week two of 18.090, students are constructing truth tables for complex compound propositions and proving logical equivalences. This is the "alphabet" of mathematics.
Typical syllabus structure (concept progression) 18.090 introduction to mathematical reasoning mit
State all prerequisite definitions clearly before using them in the proof. The Theorem Statement: Use precise mathematical language. For example: "Theorem: Let be a finite set. Then the power set has cardinality By week two of 18
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. The Theorem Statement: Use precise mathematical language
This is where enters the picture. Unlike MIT’s famous calculus sequence (18.01, 18.02) or the rigorous analysis class (18.100), 18.090 sits in a unique pedagogical sweet spot. It is a bridge course—a linguistic and logical boot camp designed to transform a student who computes into a mathematician who proves .
Recent offerings of 18.090 have included a unit on (a proof assistant). If your semester uses this: