18.090 Introduction To Mathematical Reasoning Mit [patched] May 2026

Taking 18.090 isn't just about learning rules; it’s about a shift in mindset. MIT’s approach emphasizes:

A proof isn't just a list of steps; it's a narrative. Students are taught to write for an audience, ensuring every logical leap is justified.

18.090 is an undergraduate course designed to teach students the fundamental language of mathematics: . While most high school and early college math focuses on what the answer is, 18.090 focuses on why a statement is true and how to communicate that truth with absolute certainty. 18.090 introduction to mathematical reasoning mit

Properties of integers, divisibility, and prime numbers.

Without the foundation provided by 18.090, the jump to analysis or abstract algebra can feel like hititng a wall. This course provides the "training wheels" for the rigorous logical rigor required in professional mathematics and theoretical computer science. The MIT Experience Taking 18

Starting from known axioms to reach a conclusion.

A powerful tool for proving statements about integers. Without the foundation provided by 18

Assuming the opposite of what you want to prove and showing it leads to a logical impossibility.

Before you can build a proof, you must understand the building blocks. Students learn about sentential logic (and, or, implies), quantifiers (for all, there exists), and the basic properties of sets. This provides the syntax needed to write clear, unambiguous mathematical statements. 2. Proof Techniques

Understanding mappings, injections, surjections, and equivalence relations. Cardinality: Exploring the different "sizes" of infinity. Why it Matters