18.090 Introduction To Mathematical Reasoning Mit [work] ❲4K – 1080p❳
A solid grasp of calculus (18.01/18.02) helps, though the focus is not on computation.
Understanding countable (countably infinite) versus uncountable sets, and Cantor's diagonal argument. 3. Topics in Algebra Permutations: Introduction to group theory concepts.
This is the heart of the course. Students move past intuition and learn to construct airtight arguments using several core techniques: Assuming a statement is true and logically deducing that statement must also be true. Proof by Contraposition: Proving that "If " by showing that "If not , then not
: Master the building blocks of mathematical language, including truth tables, negations, "And/Or" statements, and quantifiers like "For all" ( ) and "There exists" ( there exists Set Theory 18.090 introduction to mathematical reasoning mit
For many students, the transition from computational mathematics—calculus, differential equations, and linear algebra—to is the most challenging step in their academic journey. MIT’s 18.090 (Introduction to Mathematical Reasoning) , often offered during the Independent Activities Period (IAP) , serves as a crucial bridge, guiding students through the rigorous world of mathematical proofs.
Unlike calculation-based courses where the answer is a number or a function, 18.090 asks a scarier question: “Is this statement true for all possible cases, and can you convince a skeptical mathematician of that truth?”
The heart of the course lies in writing proofs. In 18.090, you learn that a proof is not just a collection of symbols, but an essay written in prose that guides the reader inevitably to a conclusion. Here are the primary proof methods taught: Assuming a statement A solid grasp of calculus (18
The course is typically structured around the development of mathematical maturity, moving away from rote memorization toward logical deduction. Key Learning Objectives
Moving from high school mathematics to university-level mathematics is often a shock for students. In early schooling, math focuses heavily on computation, formulas, and algorithms. You are given an equation, and your job is to find the correct number.
Visual grids used to determine the truth value of complex statements based on their inputs. Quantifiers: Universal quantifiers ("for all," ∀for all ) and existential quantifiers ("there exists," ∃there exists Topics in Algebra Permutations: Introduction to group theory
For many students, entering upper-level proof heavy courses without a bridge is a jarring experience. MIT created 18.090 to act explicitly as that bridge. It trains your brain to strip away loose intuition and replace it with bulletproof logic, helping you write mathematical arguments that are as clear, concise, and indisputable as computer code.
The course begins at the absolute atomic level: the statement. Students learn that in mathematics, a sentence must be unambiguously true or false. They dissect logical connectives:
Truth tables, logical connectives (AND, OR, NOT, implication), quantifiers (∀ "for all" and ∃ "there exists"), and the all-important concept of contrapositive. You learn that "If P then Q" is logically equivalent to "If not Q then not P"—a trick that will save your life on exams.
