MIT course 18.090 (Introduction to Mathematical Reasoning) is a transitional course designed to bridge the gap between calculation-based calculus and abstract, proof-based higher mathematics. It provides students with the foundational tools needed for rigorous subjects like Real Analysis or Algebra. Key Course Features
Typographical Quirks
Being a third-party compilation, there are occasional mismatched symbols (e.g., using ⊂ for subset vs. proper subset inconsistently) and one glaring error in an induction proof (n=1 base case is fine, but the inductive step misuses the hypothesis). Fortunately, the errata sheet (included) fixes it. MIT course 18
Introduction
, walked in and didn't write a single number. Instead, he wrote one word: "In this class," the professor began, "we stop asking the answer is and start asking we are allowed to believe it." The First Crack in the Wall proper subset inconsistently) and one glaring error in