: Unions, intersections, complements, and power sets.
Set theory is the bedrock of modern mathematics. You will study:
: Proving a base case and an inductive step to assert a property for all integers. 4. Intro to Abstract Fields & Analysis : Unions, intersections, complements, and power sets
This is the heart of the course, where you will master the basic machinery of all mathematics.
Mathematical reasoning is a social act; you must be able to communicate your ideas to others. 18.090 treats writing as a first-class citizen. Students aren't just graded on the correctness of their logic, but on the clarity, elegance, and flow of their prose. This is where the "reasoning" part of the title truly shines. 3. Problem-Solving Intuition Share public link : Infinite sets
: Success in this course depends on active problem-solving . As noted in student discussions, you cannot learn mathematical reasoning passively; you must "learn to write proofs by writing proofs".
While the official MIT listing notes "No textbook information available" for the current semester, the course relies on a blend of high-quality readings and custom materials. To achieve "extra quality" in your learning, you should consult the following gold-standard resources. you cannot learn mathematical reasoning passively
Do you need a of a specific proof example? Share public link
: Infinite sets, set operations, and set-builder notation.
Proving why the infinity of real numbers is larger than the infinity of integers.
The curriculum of 18.090 systematically builds the foundation of modern mathematics. While variations occur depending on the instructor (the course was notably developed with contributions from MIT faculty like Paul Seidel and Bjorn Poonen), the syllabus generally focuses on the following pillars:
