18090 Introduction To Mathematical Reasoning Mit Extra Quality -

Unlike many proof-based courses, 18.090 only requires Calculus II as a corequisite rather than a strict prerequisite. This means you can take it concurrently with your multi-variable calculus training. This flexibility is rare and valuable, allowing you to build proof skills earlier in your academic career without having to wait until completing a long list of lower-level courses. Despite this accessibility, the course does not sacrifice depth or challenge—it simply meets students where they are and elevates them.

Without 18.090, courses like 18.100 (Real Analysis) or 18.701 (Abstract Algebra) can feel overwhelming. 18.090 provides the necessary toolkit.

: Truth tables, quantifiers, and the structure of mathematical statements. Set Theory : Operations on sets, relations, and functions. Proof Techniques Unlike many proof-based courses, 18

The course emphasizes using formal logic to structure arguments.

Shifting from the high school definition of a function ( Despite this accessibility, the course does not sacrifice

While traditional high school math and introductory calculus courses focus heavily on computational techniques (like finding derivatives or computing integrals), higher-level pure mathematics demands strict logical rigor. The Strategic Placement of 18.090

A typical entry:

For students self-studying the material or looking for supplementary reading, the curriculum relies on text resources that prioritize the structural architecture of math:

Week 10:

Using logical flow rather than just strings of equations.

If you want, I can: