At MIT, 18.090 is often viewed as a "stepping stone" course. It is highly recommended for students planning to take more advanced, proof-heavy classes like or 18.701 (Algebra) .
The course is typically structured around the development of mathematical maturity, moving away from rote memorization toward logical deduction. Key Learning Objectives
Getting stuck is a feature of advanced mathematics, not a bug. Spending hours on a single proof is normal and part of the learning process. 18.090 introduction to mathematical reasoning mit
MIT does not currently have a full OCW (OpenCourseWare) version of 18.090 with video lectures, but the spirit of the course is reproducible. If you want to replicate the 18.090 experience at home, assemble the following toolkit:
When starting out, try to separate your "scratch work" from your "proof." At MIT, 18
If you feel confident in your computational skills but "shaky" when asked to write a proof from scratch, 18.090 is an excellent investment. It provides a safer environment to fail and learn the "language of math" before the pace and abstraction accelerate in the 18.10x or 18.70x sequences.
MIT 18.090 is an undergraduate seminar course focusing on the conceptual development of mathematics. While standard calculus tracks (like 18.01 and 18.02) focus on algorithms, derivatives, and integrations, 18.090 pivots toward . Key Learning Objectives Getting stuck is a feature
While specific syllabi vary by semester (and instructor, often Prof. Paul Seidel or Prof. Andrew Lin), the canonical topics of 18.090 include:

|
|
| |||||||
|
Copyright 1991-2026 VECMAR Corporation
| |||||||||