18.090 Introduction To Mathematical Reasoning Mit !!exclusive!! Link

Students must have completed 18.01 (Single Variable Calculus) .

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 ). 18.090 introduction to mathematical reasoning mit

: Methods of proof, logic, quantifiers, and set theory. Students must have completed 18