18.090 Introduction To Mathematical Reasoning Mit !full! [LATEST]

18.090 (Introduction to Mathematical Reasoning) at MIT is widely known as the "bridge" course for students transitioning from the computational math of high school to the abstract, proof-based world of a math major. It focuses on the fundamental shift from calculating an answer to why it must be true. The Story of 18.090: From Calculation to Certainty

Most students arrive at MIT as masters of the "black box"—give them a formula, and they can calculate the derivative, the integral, or the trajectory of a projectile with ease. However, the advanced "Pure Math" track (like 18.100 Real Analysis ) requires a different kind of mental machinery. The Leaping Point

18.090 exists to catch students before they fall into the "abstraction gap". It is typically taken after Multivariable Calculus (

) and serves as the prerequisite for high-level subjects like 18.701 (Algebra I) 18.901 (Topology) What the Course Looks Like

The journey begins by stripping math down to its bones. You don't start with complex equations; you start with "Statements"—sentences that are either definitively true or false. The Language of Logic: Students learn to use symbols like (for all), there exists (there exists), and (implies) to build airtight arguments. Methods of Proof: You master the "weapons" of a mathematician: Direct Proof Proof by Contradiction

(showing that if a statement were false, it would break math), and Mathematical Induction The Infinite:

The course often explores "Infinite Sets," teaching students that not all infinities are the same size—a concept that usually feels like "we aren't in Kansas anymore" for first-year students. Key Topics in the 18.090 Journey

The curriculum is designed to give you a "test drive" of advanced mathematics through three main pillars: Foundations: Set theory, quantifiers, and the properties of integers. Algebraic Concepts: An introduction to permutations, vector spaces, and fields. Analysis Concepts:

Understanding the behavior of sequences of real numbers, which lays the groundwork for calculus theory. Why Students Take It Mathematics (Course 18) | MIT Course Catalog

This course serves as the bridge between computational calculus (like 18.01/18.02) and abstract mathematics (like 18.100 Real Analysis or 18.701 Algebra). It is designed to teach students how to write rigorous proofs and think abstractly.

Detailed Syllabus Text

Prerequisites: 18.01 (Calculus I) or equivalent. No prior proof experience required.

Course Objectives:
By the end of this course, students will be able to:

  • Translate mathematical statements into logical notation and vice versa.
  • Distinguish between necessary, sufficient, and equivalent conditions.
  • Write clear, correct proofs using direct reasoning, contrapositive, contradiction, and mathematical induction.
  • Understand and apply basic set operations, relations, functions, and cardinality.
  • Read and critique simple mathematical arguments for logical gaps or errors.

Core Topics:

  1. Logical Foundations

    • Statements, truth tables, logical connectives (∧, ∨, ¬, →, ↔)
    • Tautologies, contradictions, and logical equivalence
    • Quantifiers (∀, ∃) and negations with quantifiers

  2. Sets and Basic Operations

    • Roster and set-builder notation
    • Subsets, unions, intersections, complements, power sets
    • Cartesian products and ordered pairs

  3. Proof Techniques

    • Direct proof: ( P \Rightarrow Q )
    • Proof by contrapositive
    • Proof by contradiction (including irrationality of √2)
    • Proof by cases

  4. Mathematical Induction

    • Principle of weak (ordinary) induction
    • Strong induction
    • Well-ordering principle
    • Applications: sums, divisibility, inequalities, recursive definitions

  5. Relations and Functions

    • Reflexive, symmetric, transitive properties; equivalence relations and partitions
    • Injective, surjective, bijective functions
    • Composition and inverse functions

  6. Introduction to Cardinality

    • Finite vs. infinite sets
    • Countability (denumerable sets)
    • Uncountability: Cantor’s diagonal argument

Format:
Three class hours per week. Class sessions combine lecture with active problem-solving and peer discussion. Weekly problem sets emphasize writing complete, well-structured proofs.

Assessment:

  • Weekly problem sets (40%)
  • Two in-class midterm exams (30%)
  • Final exam (30%)

Required Materials:
No textbook required; lecture notes provided. Recommended references:

  • How to Prove It by Daniel Velleman
  • Book of Proof by Richard Hammack (free online)

What makes 18.090 different from 18.100A/B?
While 18.100A/B (Real Analysis) teaches proof in the context of calculus, 18.090 is a gentler, standalone bridge course focusing on proof as a skill before applying it to analysis, algebra, or topology. Ideal for Course 6-14, 18, or any student seeking mathematical maturity.

Would you like a shorter version (e.g., for a course catalog) or a LaTeX-ready syllabus with grading breakdown and weekly schedule?

The course 18.090 Introduction to Mathematical Reasoning at MIT is designed to bridge the gap between calculation-based mathematics and advanced, proof-oriented subjects. It provides students with the foundational skills needed to understand and construct rigorous mathematical arguments. Course Overview 18.090 introduction to mathematical reasoning mit

Purpose: It is a "transition" subject for students who want experience with proofs before moving on to higher-level Course 18 (Mathematics) requirements.

Prerequisites: Students must have completed 18.01 (Single Variable Calculus).

Corequisites: The course requires 18.02 (Multivariable Calculus) to be taken either as a prerequisite or concurrently. Offered: Typically offered during the Spring term. Key Topics and Learning Objectives

The curriculum introduces students to the formal language of mathematics through several pillars:

Foundational Logic: Instruction on methods of proof, the use of quantifiers, and the properties of infinite sets.

Algebraic Concepts: Exploration of structures such as permutations, vector spaces, and fields.

Mathematical Analysis: Study of real number sequences and limits to prepare for advanced calculus. Academic Pathway

18.090 is officially recognized as a preparatory step for several "proof-heavy" advanced courses. Completing it provides the necessary "mathematical maturity" for: 18.100 Real Analysis 18.701 Algebra I 18.901 Introduction to Topology Importance in the MIT Curriculum

While students can jump directly into subjects like 18.100 or 18.701, the MIT Mathematics Department highlights 18.090 as a strategic choice for those desiring a more gradual introduction to mathematical rigor. It focuses less on specific application and more on the process of thinking logically about mathematical connections. Mathematics (Course 18) | MIT Course Catalog

For anyone looking to move beyond the "formula-crunching" of early calculus and start doing "real" math, 18.090: Introduction to Mathematical Reasoning at MIT is the ultimate gateway.

Commonly referred to as a "mathematical maturity" booster, this course is designed specifically for students who want to master the art of the proof before diving into notoriously difficult upper-level subjects like Real Analysis (18.100) Algebra (18.701) Why 18.090 is an MIT "Hidden Gem" The Bridge to Proofs

: While courses like 18.02 (Multivariable Calculus) focus on computation, 18.090 shifts the focus to Detailed Syllabus Text Prerequisites: 18

things are true. You’ll learn how to construct airtight arguments using logic, set theory, and induction. Flexible Timing

: Unlike many advanced math subjects, you can take 18.090 as early as your second semester since it only requires as a corequisite. Low-Stakes Prep

: It provides a lower-pressure environment to "struggle and wrestle" with abstract concepts—skills that are essential for the more brutal problem sets in the Pure Math major. Key Topics You’ll Conquer

The course covers the "alphabet" of higher mathematics, including: Foundational Logic : Mastering quantifiers like (for all) and there exists (there exists), and the mechanics of implication ( right arrow Set Theory

: Understanding infinite sets, cardinality (the "size" of infinity), and the structure of the real number system. Number Theory

: Working with integers, divisors, and mathematical induction. Abstract Structures

: A first look at permutations, fields, and sequences of real numbers. Student Perspective

Many MIT students find that transitioning to 18.090 is where they actually start "loving" math because they stop memorizing formulas and start understanding the underlying structures. It's often the class that helps students decide if they want to double-major in Course 18 (Mathematics) 18.0x - MIT Mathematics

The 18.090 Experience: A Week in the Life

Unlike a lecture-heavy physics course, 18.090 is structured for active struggle.

4. Lean/Tactical Math (If the course includes formal reasoning)

Recent offerings of 18.090 have included a unit on Lean (a proof assistant). If your semester uses this:

  • "Theorem Proving in Lean 4" (free online, by Avigad, de Moura, et al.) – Chapters 1–4 cover propositional logic and quantifiers exactly as taught in 18.090.

5. Sample Proof Exercise

A typical 18.090 problem:

Prove: If (n) is an integer and (n^2) is even, then (n) is even. which is odd. Therefore

Solution outline (proof by contrapositive):
Assume (n) is odd. Then (n = 2k+1) for some integer (k).
Thus (n^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k) + 1), which is odd.
Therefore, if (n^2) is even, (n) cannot be odd, so (n) is even. ∎

This simple exercise reinforces contrapositive reasoning and parity — a building block for more advanced modular arithmetic proofs.