18.090 Introduction To Mathematical Reasoning Mit ~repack~ Jun 2026

Rigorous treatment of real numbers and sequences of real numbers. IV. Role in the Mathematics Major

Like many MIT courses, 18.090 encourages students to work through "P-sets" (problem sets) together, fostering a community of logical inquiry. Conclusion 18.090 introduction to mathematical reasoning mit

Unlike calculus recitations where a TA works through problems, 18.090 recitations are often student-driven . A student is called to the blackboard to present their proof. The TA and peers then act as hostile (but constructive) reviewers. They will ask: Rigorous treatment of real numbers and sequences of

Students in related fields with significant mathematical content (like Course 6/Computer Science) often find it a helpful intermediate step. Conclusion Unlike calculus recitations where a TA works

"How to Prove It: A Structured Approach" by Daniel J. Velleman. This is the unofficial text for 18.090. Work through every exercise in Chapters 1-5. Do not skip the "Negations" section.

Recent offerings of 18.090 have included a unit on (a proof assistant). If your semester uses this: