18.090 Introduction To Mathematical Reasoning Mit !link! 〈High Speed〉

: While 18.062J (Mathematics for Computer Science) also covers discrete math and proofs, 18.090 is more aligned with the "Pure Mathematics" track, preparing students for theoretical rigor.

The course begins at the absolute atomic level: the statement. Students learn that in mathematics, a sentence must be unambiguously true or false. They dissect logical connectives:

This public link is valid for 7 days and shares a thread, including any personal information you added. This link or copies made by others cannot be deleted. If you share with third parties, their policies apply. Can’t copy the link right now. Try again later. Mathematics (Course 18) | MIT Course Catalog 18.090 introduction to mathematical reasoning mit

It serves as a low-stakes, highly supportive environment to test whether you enjoy pure mathematics before diving into grueling classes like 18.100 (Real Analysis) or 18.701 (Algebra).

To ground logic in concrete structures, 18.090 applies these proof techniques to the integers ( Zthe integers : While 18

The single greatest source of error in undergraduate proofs is the misuse of : "For all" (∀) and "There exists" (∃). 18.090 spends an unusual amount of time on the order of quantifiers.

18.090 Introduction to Mathematical Reasoning is an excellent course for: They dissect logical connectives: This public link is

Exploring the mind-bending concept that some infinities are larger than others (e.g., comparing the infinity of integers to the infinity of real numbers via Cantor's diagonal argument). 3. Proof Techniques

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

Do you need to test your current skills?