: Students explore foundational concepts like sets, relations, functions, and cardinality.
Typical syllabus structure (concept progression)
Set theory is the bedrock of modern mathematics; almost every mathematical object is fundamentally a set. 18.090 covers: Set operations (unions, intersections, complements). The power set (the set of all subsets). Cartesian products. Venn diagrams and their limitations in formal proof. 3. Relations and Functions While you may think of a function as a formula like
At elite institutions like the Massachusetts Institute of Technology (MIT), mathematics undergoes a radical shift. It transforms from a tool for calculation into a formal language of logic, abstraction, and rigorous proof. 18.090 introduction to mathematical reasoning mit
The basic language of modern math, including operations like unions, intersections, and complements. Proof Techniques:
Succeeding in a proof-based MIT course requires a shift in study habits.
Propose a direction, and we can explore the specific resources or topics you need next. AI responses may include mistakes. Learn more Share public link The power set (the set of all subsets)
This ritual is terrifying but transformative. It destroys the illusion that mathematics is about getting the right answer. It reveals that mathematics is about justification .
The syllabus of 18.090 is carefully curated to build a student's logical scaffolding from scratch. The course generally spans several fundamental pillars of discrete math and foundational logic. 1. Mathematical Logic and Propositional Calculus
Are you currently studying a (like induction or cardinality) that you find tricky? Share public link The basic language of modern math
: If you are transitioning from "solving for " to "proving why
Your ultimate (e.g., computer science, data science, pure math) Your current comfort level with writing proofs Share public link