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.
Cantor’s diagonal argument or the cardinality of power sets. Methods of Proof: 18.090 introduction to mathematical reasoning mit
The course covers a mix of foundational logic and specific mathematical structures to give you a "test flight" in various areas of pure math: 18.090 introduction to mathematical reasoning mit
Instructors report that novices struggle most with: 18.090 introduction to mathematical reasoning mit