Although unique to MIT, 18.090 likely follows a schedule similar to other proof-based courses using the same textbook. A general progression might look like this:
After you finish the course, write a one-page proof that mathematical reasoning is the most transferable skill in the university curriculum . Use quantifiers, induction, and at least one proof by contradiction.
The course is famous for introducing students to mathematical "monsters"—counterexamples that challenge intuition.
To achieve "extra quality" in your proof writing, you must master the four foundational pillars of mathematical arguments. 1. Direct Proof Although unique to MIT, 18
By mastering the concepts embedded within MIT's 18.090 curriculum, you develop a cognitive framework that extends far beyond mathematics. The ability to identify hidden assumptions, break down complex arguments, and construct flawless logical paths is a highly valuable skill in computer science, law, data analysis, and philosophy.
is true, use definitions and axioms, and logically deduce that conclusion must be true.
It develops the ability to read, understand, and construct mathematical proofs. 2. Why "Extra Quality" Matters: The Core Objectives The course is famous for introducing students to
: Mastering standard structures like proof by contradiction ( reductio ad absurdum ) and proof by contrapositive.
Students learn to write rigorous proofs, including direct proof, proof by contradiction, induction, and contrapositive.
: Students are encouraged to engage in recitations (often contributing around 10% of the grade), which provide the hands-on practice needed to master airtight logic. Direct Proof By mastering the concepts embedded within
The MIT course is a foundational subject designed to bridge the gap between calculation-based mathematics (like standard calculus) and the abstract, proof-oriented world of higher mathematics. The Bridge to Advanced Mathematics
The logic and reasoning skills developed are highly valued not just in pure math, but in computer science, theoretical physics, economics, and quantitative finance .
: Look for archived materials under Mathematics courses labeled "Introduction to Proofs," "Mathematical Exposition," or seminar classes to find past syllabus designs, problem sets, and exams.