Divisibility, prime numbers, the Fundamental Theorem of Arithmetic, and modular arithmetic.
Accompanied by specific, actionable comments (not just a score).
Order matters. Changing the order of ∀for all ∃there exists completely alters the meaning of a theorem. Changing the order of ∀for all ∃there exists
(based on MIT grading standards)
Explain how 18.090 introduces "extra quality" by applying these reasoning skills to abstract fields: You might have aced the AP Calculus BC
Learning to read and write formal symbols ( ) without ambiguity.
For most undergraduates, the transition from high school calculus to university-level proofs is a profound shock. You might have aced the AP Calculus BC exam, earned a 5, and even dabbled in some linear algebra. Yet, when you first encounter a course like at MIT, a strange thing happens. The numbers disappear. The equations become sparse. In their place appear cryptic symbols: ( \forall, \exists, \ni, \implies, \iff ). The questions no longer ask, “What is ( x )?” but rather, “Is this statement true for all integers?” problem sets with solutions
In high school calculus, success means calculating the correct numerical answer. In advanced mathematics, success means proving why that answer must be true.
MIT's mathematics curriculum is world-renowned for its depth. However, core subjects like 18.100 (Real Analysis), 18.701 (Algebra I), and 18.901 (Introduction to Topology) are built on a language of proofs and abstract logic that students typically aren't exposed to in introductory calculus (18.01/18.02).
This review assumes the "Extra Quality" refers to a well-organized set of supplementary notes, problem sets with solutions, or a curated study guide based on MIT's course 18.090 (often a special topics or seminar-style course bridging computation and proof). If it refers to a specific third-party compilation, the review remains applicable to high-quality supplemental materials for MIT’s proof-centric intro courses.
