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 

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

MIT 18.090: Introduction to Mathematical Reasoning For many students arriving at MIT, mathematics has been a journey of calculation—solving for

, computing integrals, and applying formulas. However, 18.090 (Introduction to Mathematical Reasoning) represents the pivot point where math shifts from a tool for calculation to a language for rigorous logic.

This undergraduate course is designed to bridge the gap between high school calculus and the advanced, proof-heavy world of pure mathematics. Core Course Objectives

The primary goal of 18.090 is to teach students how to understand and construct mathematical arguments. Unlike introductory calculus, which focuses on answers, 18.090 focuses on the why—the underlying logic that ensures a statement is undeniably true. Key skills developed in the course include:

Analyzing Logical Structures: Understanding quantifiers ("for all" ∀for all , "there exists" ∃there exists ) and logical connectives (

Writing Rigorous Proofs: Learning various methods of proof, such as direct proof, contraposition, and mathematical induction.

Defining Abstractions: Transitioning from concrete numbers to abstract sets, fields, and vector spaces. Syllabus and Foundational Topics

The course curriculum is a blend of fundamental logic and introductory concepts from higher-level mathematics: 18.0x - MIT Mathematics

3. Relations and Functions

• Relations: Equivalence relations (reflexive, symmetric, transitive) and partitions.
• Functions: Definition of a function, injectivity (one-to-one), surjectivity (onto), and bijectivity.
• Inverses and Composition: How functions interact.

Course Description (Short)

Introduces the fundamental language, logic, and proof techniques essential for advanced mathematics. Emphasizes how to read, understand, and construct rigorous mathematical arguments. Topics include propositional and predicate logic, set theory, proof by contradiction, induction, and the axiomatic method. Designed for students transitioning from computational to proof-based mathematics.

📚 Core Topic Breakdown

Pillar 3: The Trinity of Proof Techniques

With logic and quantifiers mastered, 18.090 introduces the canonical proof structures that will serve for the rest of a mathematician's career.

• Direct Proof: Assume the hypothesis is true. Use definitions and logical steps to reach the conclusion. (The gold standard.)
• Proof by Contrapositive: Instead of proving "If P, then Q," prove "If not Q, then not P." (Useful when the hypothesis seems irrelevant or messy).
• Proof by Contradiction: Assume the hypothesis is true and the conclusion is false. Derive a logical impossibility (e.g., 1=0). This is the mathematician's nuclear option, and 18.090 teaches when to use it (e.g., proving √2 is irrational) and when it is considered inelegant.

The course famously insists that students write proofs in full, grammatical English sentences—never a chain of mathematical symbols. A proof for 18.090 looks like a paragraph in a detective novel, not lines of code.