This course is not exclusively for math majors, though it is highly recommended for them. It is an ideal fit for:
For many students, entering upper-level proof heavy courses without a bridge is a jarring experience. MIT created 18.090 to act explicitly as that bridge. It trains your brain to strip away loose intuition and replace it with bulletproof logic, helping you write mathematical arguments that are as clear, concise, and indisputable as computer code.
The syllabus generally follows a progression from logic to specific mathematical structures.
Taking 18.090 isn't just about learning rules; it’s about a shift in mindset. MIT’s approach emphasizes:
While it is not a strictly required subject for the Mathematics (Course 18) degree, it can serve as an authorized prerequisite for and provides the necessary background for 18.100 . It is particularly recommended for students who have not yet had significant exposure to discrete mathematics (such as 18.062J) or other proof-centric high school curricula. V. Mathematical Foundations Visualization 18.090 introduction to mathematical reasoning mit
The course is typically structured as a communication-intensive seminar. Students do not just listen to lectures; they actively present proofs on the blackboard, critique mathematical arguments, and rewrite solutions to achieve absolute logical rigor. Key Course Details: Mathematics
It is a "transition" subject for students who want experience with proofs before moving on to higher-level Course 18 (Mathematics) requirements.
Course focus and learning outcomes
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? This course is not exclusively for math majors,
Modern computer science—especially cryptography, algorithm design, and formal verification—relies heavily on discrete math and logic.
In this course, words have extremely precise meanings. You cannot prove a function is "continuous" if you cannot write down the exact epsilon-delta definition.
: Master the building blocks of mathematical language, including truth tables, negations, "And/Or" statements, and quantifiers like "For all" ( ) and "There exists" ( there exists Set Theory
Do not use advanced texts like Rudin's Principles of Mathematical Analysis or Munkres' Topology for this class – they assume you already know how to write proofs. 18.090 is where you learn that skill. It trains your brain to strip away loose
Whether you are looking to conquer a mathematics degree or simply want to sharpen your cognitive toolkit, mastering the concepts in Introduction to Mathematical Reasoning is an invaluable investment.
: Understanding and constructing formal mathematical arguments . Core Topics :
Typical syllabus structure (concept progression)