To Mathematical Reasoning Mit |verified| | 18.090 Introduction

: In abstract math, definitions are exact. Memorizing the precise definition of terms like "surjective" or "divides" is non-negotiable.

Written assignments often require multiple drafts. Instructors grade not just on mathematical correctness, but on clarity, elegance, and proper mathematical syntax. Who Should Take 18.090?

Other texts occasionally referenced include:

3-0-9 (3 hours of lecture, 0 hours of lab, 9 hours of outside preparation per week) 18.090 introduction to mathematical reasoning mit

You cannot memorize your way through a proof class. You must understand the underlying definitions deeply. If a problem asks you to prove a function is injective, your first step should always be writing down the exact definition of injectivity.

The syllabus covers three main pillars: logic/foundations, algebra, and analysis. Key Topics Covered

In the words of a former 18.090 TA: "This course takes the veil off mathematics. After 18.090, you realize that all of calculus, all of linear algebra—it's just arguments. And arguments can be examined, challenged, and created. You become a participant in math, not just a consumer." : In abstract math, definitions are exact

This is the heart of the course. Students move away from algorithmic problem-solving to construct logical arguments.

: It is explicitly recommended for those who found 18.06 (Linear Algebra) or introductory calculus insufficient preparation for the rigor of pure math majors .

3-0-9 (3 lecture hours, 0 lab hours, 9 preparation/homework hours per week) Spring Only Prerequisites Corequisites Calculus II (GIR) — e.g., 18.02 Requirement Fulfillments Survival Guide: How to Excel in 18.090 Instructors grade not just on mathematical correctness, but

It teaches you how to think like a mathematician.

: Students looking to complete the Pure Mathematics Option within Course 18.