18090 Introduction To Mathematical Reasoning Mit Extra Quality [best]

To help students understand and construct rigorous mathematical arguments. Key Topics:

: Exploring the properties of infinite sets and cardinality, which challenge basic intuition about "size". 3. Transitioning to Abstract Structures

┌────────────────────────────────────────────────────────┐ │ The Anatomy of a Quality Proof │ ├────────────────────────────────────────────────────────┤ │ 1. Clear Setup: Define all variables and assumptions. │ │ 2. Logical Flow: Connect steps with clear words. │ │ 3. Justification: Cite specific axioms or theorems. │ │ 4. Conclusion: State exactly what has been proven. │ └────────────────────────────────────────────────────────┘ Avoid Common Pitfalls

Its "gateway" status is so significant that MIT advises students to take , as these later courses require solid proof experience. Additionally, because 18.090 requires calculus only as a corequisite, it can be taken concurrently with MIT’s multivariate calculus sequence, allowing students to build reasoning skills in tandem with computational ones.

| Week | MIT Topic | Extra Quality Action | | :--- | :--- | :--- | | 1-2 | Propositional Logic, Truth Tables | Read Velleman Ch. 1-2. Do 10 truth-table problems without the table (use algebraic simplification). | | 3-4 | Quantifiers, Predicate Logic | Watch TrevTutor’s "Negating Quantifiers." Write the negation of every statement in your lecture notes. | | 5-6 | Direct & Contrapositive Proofs | Read Hammack Ch. 5. For each proof, write the contrapositive statement before starting. | | 7-8 | Proof by Contradiction & Induction | The "(\sqrt2) is irrational" proof is classic. Then attempt a double induction (induction on two variables). | | 9-10 | Set Theory, Russell’s Paradox | Watch VSauce’s "The Banach-Tarski Paradox" (not directly in 18.090, but builds intuition for weird sets). | | 11-12 | Relations & Functions (Injective/Surjective) | Prove that if ( f ) and ( g ) are injective, then ( g \circ f ) is injective. Do it three ways: direct, contrapositive, contradiction. | | 13-14 | Cardinality, Cantor’s Theorem | Read the "Hilbert’s Hotel" essay by George Gamow. Then attempt a proof that the power set of ( \mathbbN ) is uncountable. | Logical Flow: Connect steps with clear words

The MIT course serves as a foundational bridge for students transitioning from computational mathematics to the rigorous world of formal proofs. Unlike standard calculus, this course focuses on the art of construction —how to build airtight mathematical arguments and interpret the complex writing of others. Essay: The Gateway to Formal Thought

: The course design encourages infinite retries on pre-lecture work to promote understanding over rote grading, making it a supportive environment for those transitioning into the math major.

Students move beyond rote memorization to learn how to write clear, concise, and rigorous proofs.

The official unit breakdown for 18.090 is . In MIT's system, this translates to approximately 3 hours of lecture, 0 hours of recitation, and 9 hours of outside preparation (homework and study) per week . 0 hours of lab

, this course shifts the focus toward why a statement is true and how to demonstrate that truth with logical precision. Core Concepts and Methodology

One of the most mind-expanding sections of 18.090. You learn that the set of natural numbers ( \mathbbN ) and the set of integers ( \mathbbZ ) have the same cardinality (they are countable ), but the real numbers ( \mathbbR ) are uncountable (Cantor's diagonal argument).

is an undergraduate course at MIT designed to bridge the gap between calculation-based calculus and higher-level proof-based mathematics. Course Overview

None officially required, but Calculus II (GIR) is a corequisite. Quality and Strategic Role use definitions correctly

Do not use the conclusion to prove the conclusion. Proof by Example: Showing a statement works for does not prove it works for all integers.

In this course, vague reasoning is unacceptable. Students are trained to define terms precisely, use definitions correctly, and avoid logical fallacies. This rigor is essential for advanced courses like and Algebra (18.701) . C. Transitioning from "How" to "Why"

3-0-9 (3 hours of lecture, 0 hours of lab, and 9 hours of outside preparation per week).