), but a strictly smaller cardinality than the real numbers ( Rthe real numbers The 18.090 Proof Toolkit
18.090 Introduction to Mathematical Reasoning is MIT's purpose-built bridge to higher mathematics. It systematically introduces the language and logic of proof, providing the essential toolkit required for any student wishing to move beyond calculation and into the creative, rigorous world of mathematical discovery. For anyone planning to major in mathematics, physics, or computer science—or who simply wants to understand what a proof truly is—18.090 is a logical and highly valuable first step.
While traditional calculus courses focus on finding numerical answers using formulas, 18.090 shifts the focus entirely toward understanding why those formulas work. It serves as a foundational gateway for students intending to major in mathematics or fields requiring advanced logical abstraction.
The course begins by defining what constitutes a mathematical statement—a sentence that is definitively true or false. Students learn to manipulate complex logical operations without ambiguity: 18.090 introduction to mathematical reasoning mit
18.090 emphasizes the messy, exploratory front-end of math. You learn how to:
Note: If you need a shorter summary or a specific format (e.g., APA, LaTeX template), let me know and I can adjust it accordingly.
This public link is valid for 7 days and shares a thread, including any personal information you added. This link or copies made by others cannot be deleted. If you share with third parties, their policies apply. Can’t copy the link right now. Try again later. ), but a strictly smaller cardinality than the
Even if you are not a math major, this course enhances logical reasoning skills applicable to computer science, economics, and theoretical physics. 18.090 vs. 18.100A (Real Analysis)
Set theory is the bedrock of modern mathematics. Students analyze intersections, unions, and complements of sets. The course defines functions rigorously, focusing on injectivity (one-to-one), surjectivity (onto), and bijectivity (invertibility). 4. Number Theory and Relations
Like many MIT courses, 18.090 encourages students to work through "P-sets" (problem sets) together, fostering a community of logical inquiry. Conclusion : Students learn direct proofs
Learning how to read, write, and critique mathematical statements.
: Students learn direct proofs, contradiction, induction, and contraposition.
18.090 is a critical "gateway" course. It provides the crucial necessary for success in demanding upper-level classes. The Pure Mathematics Option explicitly recommends students gain proof experience in 18.090 before tackling 18.100 (Real Analysis) or 18.701 (Algebra I). It is also a Restricted Elective in Science and Technology (REST) , allowing students to fulfill a General Institute Requirement while building this essential skill.
