The 18.090 course at MIT is distinguished by several features that set it apart from other mathematics courses:
: The curriculum covers essential "language of math" topics, including: Logic : Quantifiers ( ), implications ( →right arrow ), and logical connectives. The 18
Learning to read, analyze, and construct mathematical proofs is a cornerstone of mathematical reasoning. Proofs are rigorous arguments that demonstrate the truth of mathematical statements. Leo left the room feeling like he was walking on air
Understanding "if-then" statements, contrapositives, and logical equivalences. Understanding "if-then" statements
: The primary goal is understanding and constructing formal mathematical arguments. Target Audience
, the class proved that the "infinity" of decimals is fundamentally larger than the "infinity" of counting numbers. Leo left the room feeling like he was walking on air. The world looked the same, but the foundation beneath it—the logic holding it all together—was suddenly visible, layered and deep. The Gateway to Greatness
: Students are introduced to predicates, logical connectives (like "implies" and "if and only if"), and truth tables to establish the rules of valid reasoning.