This course is the bridge from computational calculus to rigorous proof-based mathematics. It covers logic, sets, functions, proof techniques (induction, contradiction), and basic number theory/analysis.
At institutions without a course like 18.090, the first "proofs" class is often Real Analysis (18.100) or Abstract Algebra (18.700). This is akin to teaching a foreign language by handing a student a Dostoevsky novel. The student is not only grappling with open sets, compactness, or group homomorphisms but is also simultaneously trying to learn the syntax of logical deduction. 18.090 introduction to mathematical reasoning mit
: It is explicitly recommended for those who found 18.06 (Linear Algebra) or introductory calculus insufficient preparation for the rigor of pure math majors . This course is the bridge from computational calculus
As one MIT course evaluation noted: "This isn't about memorizing theorems. It's about learning to think like a mathematician when no formula exists to help you." This is akin to teaching a foreign language
: Assuming the opposite of what you want to prove and showing it leads to an impossibility. Mathematical Induction : Proving a statement is true for and that its truth for implies its truth for Department of Mathematics | University of Washington Prerequisites & Logistics Corequisite : You can take 18.090 concurrently with Multivariable Calculus (18.02) Self-Study Resource