The primary goal is to teach students how to . It transitions students from "finding an answer" to "proving why a statement is true" using the definition-theorem-proof style of modern mathematics. Core Content & Topics
That "aha" moment—seeing why contrapositive works—is what 18.090 delivers again and again.
Search for MIT OCW 18.090 – the archived site includes problem sets and exams. 18.090 introduction to mathematical reasoning mit
The curriculum blends logic with tangible mathematics. Key topics typically covered include:
Unions, intersections, complements, and power sets. The primary goal is to teach students how to
The heart of 18.090 is learning how to choose and execute the correct proof strategy for a given mathematical claim. Students practice multiple techniques, including:
Assuming the hypothesis is true and logically deriving the conclusion. Search for MIT OCW 18
Intersections, unions, complements, and power sets.
The course covers a mix of foundational logic and specific mathematical structures to give you a "test flight" in various areas of pure math:
The basic language of modern math, including operations like unions, intersections, and complements. Proof Techniques: