18.090 Introduction To Mathematical Reasoning Mit Jun 2026

: Infinite sets, quantifiers, and various methods of mathematical proof (e.g., induction, contradiction).

P-sets are released weekly and typically contain 6–8 problems. The first problem is usually a "warm-up" (build a truth table). The last problem is a "challenge" (a non-trivial proof from number theory or combinatorics). MIT students report spending 6–10 hours per week on the 18.090 p-set alone. The key rule: No collaboration on the final two problems. You must stand alone with your reasoning. 18.090 introduction to mathematical reasoning mit