While specific syllabi vary by semester, courses of this type typically cover: Logic & Language
18.0x - MIT Mathematics - Massachusetts Institute of Technology
How to Prove It: A Structured Approach by Daniel J. Velleman (Highly recommended for beginners). While specific syllabi vary by semester, courses of
Assume the conclusion is false, then find a logical impossibility. When a statement applies to all natural numbers Prove it holds for , assume it holds for , prove it holds for 💡 Pro-Tips for "Extra Quality" Mathematical Writing
: A highly abstract journey into groups, rings, and fields. When a statement applies to all natural numbers
The true learning in a proof-based course happens through active problem-solving, not passive reading. While specific exam solutions are not publicly archived, we can infer the course's rigorous structure from MIT's standard practices.
⭐⭐⭐⭐½ (4.5/5) — A superb scaffold for a notoriously abstract rite of passage, but not a standalone textbook. ⭐⭐⭐⭐½ (4
How to Prove It: A Structured Approach by Daniel J. Velleman (3rd Edition).
If you are looking to replicate the MIT 18.090 experience outside of a formal classroom setting, leverage these highly rated materials: