18090 Introduction To Mathematical Reasoning Mit Extra Quality Jun 2026

The supplement assumes you have access to MIT’s official reading list (e.g., Hammack’s Book of Proof or Velleman’s How to Prove It ). Without a base text, the "Extra Quality" notes feel like a very detailed answer key rather than a full course.

If 18.090 teaches a specific skill, it is the art of the "Proof." But this is more than just writing lines of logic; it is about communication.

The "extra quality" of the course lies in this attention to detail. Grading is not binary (right/wrong); it is nuanced. Students lose points for "hand-waving"—skipping over difficult logical steps with vague assertions. They learn to write proofs that are not only correct but elegant. This focus on clarity and precision is a skill that translates far beyond mathematics, proving invaluable in fields like computer science, law, and engineering. The supplement assumes you have access to MIT’s

Week 6:

: ⚠️ Line 3: The converse (“if x² is even then x is even”) is not yet proved. Your assumption only gives one direction. Consider proof by contrapositive. The "extra quality" of the course lies in

Developing a command over abstract mathematical reasoning extends far beyond passing course exams. It rewires a student’s approach to problem-solving across several competitive industries:

18.090 is not an isolated island. It serves as a recognized prerequisite and recommended intermediate step for MIT's most demanding proof-based courses. The department explicitly recommends taking 18.090 before attempting or 18.701 Algebra I . The official math roadmap for the Pure Option lists 18.090 alongside 18.06 (Linear Algebra) and 18.700 (Advanced Linear Algebra) as ideal preparation for the core analysis and algebra sequence. This strategic positioning means taking 18.090 directly improves your chances of success in the most challenging mathematics courses at MIT. They learn to write proofs that are not

Definitions of functions, injective (one-to-one), surjective (onto), and bijective functions. Equivalence relations and equivalence classes.

Students spend significant time on weekly problem sets that require creative thinking and rigorous writing.

: The course design encourages infinite retries on pre-lecture work to promote understanding over rote grading, making it a supportive environment for those transitioning into the math major.

To get an A in this class, you must change how you study. You cannot cram for proofs.