18090 Introduction To Mathematical Reasoning | Mit Extra Quality !link!
One of the most mind-bending aspects of the course, cardinality explores the concept of infinite sets. Students learn to prove that some infinities are actually "larger" than others—such as the difference between the countable integers and the uncountable real numbers.
If you are a student aiming to master the language of mathematics, 18.090 is an essential step on your journey, offering an unparalleled introduction to the beauty of mathematical reasoning. *If you'd like, I can: Find from the course.
Mastering the converse, inverse, and contrapositive.
At the Massachusetts Institute of Technology (MIT), serves as the gateway course designed to bridge this gap. When students look for "extra quality" resources or insights into this course, they are seeking the core cognitive shift required to think like a professional mathematician. What is MIT 18.090? One of the most mind-bending aspects of the
Understanding subsets, unions, intersections, complements, and Cartesian products. 2. Methods of Proof
including quantifiers, implications, and negations.
Before diving into the theory, it is essential to understand the basic structure and context of the subject. is an undergraduate course offered by the MIT Department of Mathematics, generally in the Spring semester. *If you'd like, I can: Find from the course
One of the most mind-expanding sections of 18.090. You learn that the set of natural numbers ( \mathbbN ) and the set of integers ( \mathbbZ ) have the same cardinality (they are countable ), but the real numbers ( \mathbbR ) are uncountable (Cantor's diagonal argument).
is a premier undergraduate mathematics course specifically designed to bridge the gap between mechanical computational math and rigorous, abstract proof-based mathematics. The phrase "extra quality" highlights the exhaustive curriculum, uncompromising logical precision, and collaborative environment that defines this foundational course.
The standard MIT lecture notes (available on OCW) are excellent but terse. To achieve , you must augment them with three distinct types of resources: conceptual deep-dives , problem-solving drills , and verification tools . When students look for "extra quality" resources or
Unlike calculus, where the goal is to find a numerical answer or derivative, 18.090 focuses on justifying why an answer is true. Students learn the strict grammatical and logical rules of mathematical language. B. Developing Rigor and Precision
| Week | MIT Topic | Extra Quality Action | | :--- | :--- | :--- | | 1-2 | Propositional Logic, Truth Tables | Read Velleman Ch. 1-2. Do 10 truth-table problems without the table (use algebraic simplification). | | 3-4 | Quantifiers, Predicate Logic | Watch TrevTutor’s "Negating Quantifiers." Write the negation of every statement in your lecture notes. | | 5-6 | Direct & Contrapositive Proofs | Read Hammack Ch. 5. For each proof, write the contrapositive statement before starting. | | 7-8 | Proof by Contradiction & Induction | The "(\sqrt2) is irrational" proof is classic. Then attempt a double induction (induction on two variables). | | 9-10 | Set Theory, Russell’s Paradox | Watch VSauce’s "The Banach-Tarski Paradox" (not directly in 18.090, but builds intuition for weird sets). | | 11-12 | Relations & Functions (Injective/Surjective) | Prove that if ( f ) and ( g ) are injective, then ( g \circ f ) is injective. Do it three ways: direct, contrapositive, contradiction. | | 13-14 | Cardinality, Cantor’s Theorem | Read the "Hilbert’s Hotel" essay by George Gamow. Then attempt a proof that the power set of ( \mathbbN ) is uncountable. |
While MIT OpenCourseWare (OCW) provides some video for 18.090, they are often flat. For , turn to: