18.090 Introduction To Mathematical Reasoning Mit ((new)) -
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.
At MIT, advanced mathematics tracks require an immediate mastery of formal mathematical proofs. Diving directly into a foundational pure math milestone like 18.100 (Real Analysis) without prior proof experience can be highly challenging.
Students practice "strong induction" (where you assume P(1) through P(k) to prove P(k+1)) and explore its connection to recursion. Classic problems include: proving the sum of the first n integers is n(n+1)/2, proving the Fundamental Theorem of Arithmetic, and analyzing the Tower of Hanoi.
It teaches you how to think like a mathematician. 18.090 introduction to mathematical reasoning mit
At MIT, math is viewed as a social and collaborative endeavor. In 18.090, writing a proof that you understand is only half the battle; the real test is writing a proof that someone else can easily follow.
: Fields, vector spaces, and permutations.
Distinguishing between countable infinities (like integers) and uncountable infinities (like real numbers). P-sets are released weekly and typically contain 6–8
A fundamental geometry course that relies heavily on rigorous logic. MIT Mathematics Core Focus Areas
18.01 (Calculus I) or equivalent. No prior proof experience required.
3-0-9 (3 lecture hours, 0 lab hours, 9 preparation/homework hours per week) Spring Only Prerequisites Corequisites Calculus II (GIR) — e.g., 18.02 Requirement Fulfillments Survival Guide: How to Excel in 18.090 MIT students report spending 6–10 hours per week on the 18
You cannot skim a math textbook the way you skim a novel. Every word, comma, and symbol in a definition matters. When a theorem is presented, grab a piece of paper and try to sketch a small example to see why it works. Embrace the "Stuck" State
Compared to massive intro lectures, 18.090 often provides a more focused environment for learning how to write rigorous proofs.