18.090 Introduction To Mathematical Reasoning Mit May 2026

18.090 (Introduction to Mathematical Reasoning) is a foundational undergraduate course that teaches students how to think, write, and argue like mathematicians. Unlike computational or technique-focused classes, its core goal is to develop the habits and language required for rigorous mathematical thought: precise definitions, clear logical structure, correct proof techniques, and effective mathematical communication. Mastery of these skills is essential for success in higher-level mathematics, theoretical computer science, and any discipline that demands formal reasoning.