18.090 Introduction To Mathematical Reasoning Mit ((better)) Jun 2026

While specific syllabi vary by semester (and instructor, often Prof. Paul Seidel or Prof. Andrew Lin), the canonical topics of 18.090 include:

While students can jump directly into subjects like 18.100 or 18.701, the MIT Mathematics Department highlights 18.090 as a strategic choice for those desiring a more gradual introduction to mathematical rigor . It focuses less on specific application and more on the about mathematical connections. Mathematics (Course 18) | MIT Course Catalog 18.090 introduction to mathematical reasoning mit

things are true. You’ll learn how to construct airtight arguments using logic, set theory, and induction. Flexible Timing While specific syllabi vary by semester (and instructor,

While specific topics can vary by instructor (recent versions have been taught by faculty like Semyon Dyatlov Paul Seidel It focuses less on specific application and more

This course serves as the bridge between computational calculus and the rigorous world of abstract higher mathematics. Here is an exploration of what makes 18.090 a foundational experience for aspiring mathematicians and scientists. What is 18.090?

With logic and quantifiers mastered, 18.090 introduces the canonical proof structures that will serve for the rest of a mathematician's career.

) and serves as the prerequisite for high-level subjects like 18.701 (Algebra I) 18.901 (Topology) What the Course Looks Like