18.090 Introduction To Mathematical Reasoning Mit //top\\ -
18.090 — Introduction to Mathematical Reasoning (overview & key content)
Set Theory:
Naïve set theory (with a warning about Russell's paradox). Union, intersection, complement, power sets, and Cartesian products. You learn to prove two sets are equal by showing mutual inclusion: ( A \subseteq B ) and ( B \subseteq A ).
Instructional Staff:
Recent instructors include Semyon Dyatlov , Bjorn Poonen, and Paul Seidel. II. Educational Objectives 18.090 introduction to mathematical reasoning mit
Summary Recommendation for a Student in 18.090
That "aha" moment—seeing why contrapositive works—is what 18.090 delivers again and again. 18.090 introduction to mathematical reasoning mit
To understand the logical structures taught in 18.090, students must master set operations. The following diagram visualizes basic set relationships commonly discussed in the first weeks of the course. Mathematics (Course 18) | MIT Course Catalog 18.090 introduction to mathematical reasoning mit
