18.090 Introduction To Mathematical Reasoning Mit 'link' Jun 2026

According to the MIT Math Major Roadmaps , 18.090 serves as a "Stage 1" building block for advanced domains like Number Theory, alongside foundational algebra and linear algebra sequences. Core Pillars of the 18.090 Curriculum

Truth tables, logical connectives (AND, OR, NOT), and conditional statements (IF/THEN). Quantifiers: Deep exploration of "for all" ( ∀for all ) and "there exists" ( ∃there exists

"I came to MIT thinking I was bad at math. Turns out, I was bad at logic. 18.090 fixed that. It was the hardest 6 credits I've ever taken, and the most valuable." — Anonymous, Course Evaluation 2022

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. 18.090 introduction to mathematical reasoning mit

If you want to prepare for the course or explore similar material, I can provide more details. Let me know if you would like to look into:

Transitioning from geometric vectors to abstract spaces satisfying specific algebraic properties. 4. Introductory Concepts in Analysis

Introductory concepts including permutations, fields, and vector spaces. According to the MIT Math Major Roadmaps , 18

The course covers a range of topics, including:

A proof isn't just a list of steps; it's a narrative. Students are taught to write for an audience, ensuring every logical leap is justified.

By the end of the semester, students are expected to move comfortably between abstract concepts and concrete proofs. Why Take 18.090 at MIT? Turns out, I was bad at logic

Student learns proof by contrapositive: Prove instead: If ( n ) is odd, then ( n^2 ) is odd. Let ( n = 2m+1 ). Then ( n^2 = 4m^2 + 4m + 1 = 2(2m^2+2m) + 1 ), which is odd. By contrapositive, the original statement holds.

: Computer Science or Physics students who need to take proof-heavy classes but lack formal proof-writing exposure.

Mathematics is built on the language of sets. 18.090 covers the fundamental mechanics of how mathematical objects interact: