). A key exercise in the course is proving De Morgan's Laws for sets:
TrevTutor’s explanation of truth trees and natural deduction is far more intuitive than most blackboard lectures. Watch his video on "Negating Quantifiers" before attempting problem set 2 of 18.090.
None, though it is typically taken alongside or after 18.02 Multivariable Calculus . None, though it is typically taken alongside or after 18
One of the course’s most valuable assets is its emphasis on writing. Mathematics is a language, and 18.090 functions as an intensive writing seminar. Students learn that a proof is not just a sequence of symbols, but a persuasive argument intended for a human reader.
. This was where Leo’s brain truly began to stretch. They weren't just talking about infinity; they were talking about of infinity. Semyon Dyatlov drew two sets on the board: the Integers ( ) and the Real Numbers (all the decimals between "Are they the same size?" he asked. Leo’s intuition said , but his logic said they’re both infinite, so they must be equal. He was wrong. Using Cantor’s Diagonal Argument Students learn that a proof is not just
The course focuses on the pillars of mathematical logic: set theory, bijections, induction, and the construction of the real numbers. It forces students to grapple with the definition of limits and continuity not as formulas, but as rigorous logical statements involving $\epsilon$ (epsilon) and $\delta$ (delta).
Taking 18.090 provides an "extra quality" that transcends pure mathematics. In a world increasingly driven by theoretical computer science, cryptography, quantitative finance, and data science, the ability to think algorithmically and logically is a highly sought-after skill. By emphasizing proof-based mathematics
The 18.090 course at MIT provides an introduction to mathematical reasoning, offering students a gateway to advanced mathematical thinking. By emphasizing proof-based mathematics, mathematical induction, and problem-solving, the course helps students develop a deep understanding of mathematical concepts and their relationships. With its focus on critical thinking, problem-solving, and collaboration, 18.090 is an essential course for students looking to develop their mathematical reasoning skills and prepare for more advanced mathematics courses. Whether you're a prospective MIT student or simply looking to improve your mathematical thinking, 18.090 Introduction to Mathematical Reasoning is an excellent resource to explore.
, this course shifts the focus toward why a statement is true and how to demonstrate that truth with logical precision. Core Concepts and Methodology