18.090: The Threshold of Infinity sat in a plastic chair in Building 2, staring at a chalkboard covered in symbols that looked more like ancient runes than the math he knew from high school. For Leo, math had always been a series of recipes: plug

Here’s a solid feature draft for the MIT course 18.090 – Introduction to Mathematical Reasoning, with an emphasis on extra quality (rigorous, engaging, and useful for students).

Unit D: Relations and Functions

  • Relations: Equivalence relations (reflexive, symmetric, transitive).
  • Functions: Injectivity (one-to-one), Surjectivity (onto), Bijectivity.
  • Inverses and Composition: Proving properties of functions abstractly.

Introduction

LaTeX Proficiency: High-quality mathematical reasoning is best expressed through LaTeX. Learning to typeset your proofs forces you to think about structure and clarity. Final Thoughts

At MIT, 18.090: Introduction to Mathematical Reasoning (IMR) serves as the essential bridge over this gap. It is the course where the motto shifts from "find the answer" to "prove the answer exists." For students seeking extra quality in their mathematical education, 18.090 offers a rigorous, humbling, and ultimately empowering transformation.

  • For every theorem/proof, a collapsible panel explains: