18.090 Introduction To Mathematical Reasoning Mit

Student learns proof by contrapositive: Prove instead: If ( n ) is odd, then ( n^2 ) is odd. Let ( n = 2m+1 ). Then ( n^2 = 4m^2 + 4m + 1 = 2(2m^2+2m) + 1 ), which is odd. By contrapositive, the original statement holds.

At the Massachusetts Institute of Technology (MIT), serves as the ultimate bridge between computational math and abstract, proof-based mathematics. If you want to transition from calculating answers to proving why those answers must be true, this course provides the foundational toolkit. What is MIT 18.090?

Which advanced math branches () interest you most? Share public link 18.090 introduction to mathematical reasoning mit

, "there exists") quantifiers, and understanding how to properly negate them. Deconstructing "If

: The course was developed by faculty including Paul Seidel , Semyon Dyatlov , and Bjorn Poonen . Student learns proof by contrapositive: Prove instead: If

You don't need to become a pure mathematician, but you want to understand math from the inside. This is the most efficient way to gain that intuition.

Intersections, unions, complements, and power sets. By contrapositive, the original statement holds

This course serves as the bridge between computational calculus (like 18.01/18.02) and abstract mathematics (like 18.100 Real Analysis or 18.701 Algebra). It is designed to teach students how to write rigorous proofs and think abstractly.

The official required text for 18.090 is often Richard Hammack’s (Third Edition). Remarkably, this textbook is available free online under a Creative Commons license, though MIT students typically purchase a physical copy.

(showing that if a statement were false, it would break math), and Mathematical Induction The Infinite:

Mapping out the truth values of statements to verify logical equivalences. Quantifiers: Mastering universal ( ∀for all , "for all") and existential ( ∃there exists