18.090 Introduction To Mathematical Reasoning Mit Jun 2026

Naïve set theory (with a warning about Russell's paradox). Union, intersection, complement, power sets, and Cartesian products. You learn to prove two sets are equal by showing mutual inclusion: ( A \subseteq B ) and ( B \subseteq A ).

This undergraduate course is designed to bridge the gap between high school calculus and the advanced, proof-heavy world of pure mathematics. Core Course Objectives 18.090 introduction to mathematical reasoning mit