18.090 is an undergraduate course designed to teach students the fundamental language of mathematics: . While most high school and early college math focuses on what the answer is, 18.090 focuses on why a statement is true and how to communicate that truth with absolute certainty.
For students majoring in Mathematics, Physics, or Computer Science, 18.090 is a critical stepping stone. 18.090 introduction to mathematical reasoning mit
With logic and quantifiers mastered, 18.090 introduces the canonical proof structures that will serve for the rest of a mathematician's career. or Computer Science
Understanding mappings, injections, surjections, and equivalence relations. Cardinality: Exploring the different "sizes" of infinity. Why it Matters 18.090 introduction to mathematical reasoning mit
Classmates actively look for gaps, hidden assumptions, or hand-waving arguments in peer presentations.
Proving properties of greatest common divisors (GCDs).