18.090 Introduction To Mathematical Reasoning Mit

Defining functions rigorously via injections (one-to-one), surjections (onto), and bijections (invertible).

When reading a proof in a textbook, do not just skim it. Cover the next step with a piece of paper and try to predict what comes next. Ask yourself: Why did they choose that specific variable?

A good proof is elegant and concise. Every sentence must follow logically from the previous one. If you cannot explain why a step is true, your proof is incomplete.

You will rarely write a perfect proof on your first try. Use scratch paper to write out definitions, test small examples, and work backward from the conclusion before writing the final draft. 18.090 introduction to mathematical reasoning mit

): Assuming a statement is false and showing that this assumption leads to an impossible logical paradox.

Write for your fellow students. Assume they understand basic calculus but may not know the specific nuances of your topic. Clarity over Complexity:

Working sequentially from accepted definitions to reach a logical conclusion. Proof by Contraposition: Proving that to establish that Proof by Contradiction ( Ask yourself: Why did they choose that specific variable

Exploration of permutations, fields, and vector spaces.

Proving base cases and inductive steps to show a property holds for all infinite elements of a set (e.g., all natural numbers). 3. Set Theory and Relations

Mastering the precise application of the universal quantifier ∀for all ("for all") and the existential quantifier ∃there exists ("there exists"). Implications: Deconstructing "If If you cannot explain why a step is

Mathematics is built on the language of sets. 18.090 covers the fundamental mechanics of how mathematical objects interact:

For many students, mathematics in high school and early college feels like a series of recipes. You memorize a formula, plug in the numbers, and compute the answer. However, professional mathematics looks entirely different. It is a world of rigorous logic, abstract structures, and creative problem-solving.