Introduction To Mathematical Reasoning Mit — 18.090

Intersections, unions, complements, and power sets.

At MIT, advanced mathematics courses like Real Analysis (18.100) and Abstract Algebra (18.701) do not have computational prerequisites; they have proof prerequisites. Taking 18.090 ensures you don't drown in the rigorous notation and fast-paced theory of upper-level math classes. A Boost for Computer Scientists

Direct proof, contrapositive, contradiction, and induction. Foundational Topics: Logical quantifiers ( ), set theory, and relations.

Cantor’s diagonal argument or the cardinality of power sets. Methods of Proof: 18.090 introduction to mathematical reasoning mit

Prove that for any integer ( n ), if ( n^2 ) is even, then ( n ) is even.

MIT does not currently have a full OCW (OpenCourseWare) version of 18.090 with video lectures, but the spirit of the course is reproducible. If you want to replicate the 18.090 experience at home, assemble the following toolkit:

: A first look at permutations, fields, and sequences of real numbers. Student Perspective Intersections, unions, complements, and power sets

To give you a taste, here is a typical 18.090 homework problem (slightly simplified):

The honest answer: You will feel lost. You will erase entire proofs. You will question if you belong in a math major.

Assuming the hypothesis is true and logically deriving the conclusion. Methods of Proof: Prove that for any integer

The primary goal is not to memorize facts, but to master the of mathematics. By the end of the course, you should be able to:

Set theory is the universal language of modern mathematics. In 18.090, you learn how to manipulate these structures precisely:

3-0-9 (3 hours lectures, 0 lab, 9 study hours, usually offered Spring term).