18090 Introduction To Mathematical Reasoning Mit Extra Quality ^new^ · Official & Safe
Introductory course in linear algebra and optimization, assuming no prior exposure to linear algebra and starting from the basics, catalog.mit.edu 18.0x - MIT Mathematics
Students often seek out 18.090 because it offers a "high-quality" transition into abstract thinking that isn't always covered in standard calculus tracks.
The course builds structural logic from scratch, providing the toolkit necessary for higher-level courses like Real Analysis (18.100) or Algebra I (18.701). Students typically cover: ) : "A if and only if B
Using number theory is an excellent way to introduce proofs. Students typically cover:
) : "A if and only if B." Requires proving the statement in both directions. 3. Quantifiers You then reason until you reach a logical impossibility (e
is false. You then reason until you reach a logical impossibility (e.g., , or a number being both even and odd). : Proving that 2the square root of 2 end-root
"Prove that ( \sqrt2 + \sqrt3 ) is irrational." (Hint: Square it, then use the rational root theorem—a connection to algebra often missed.) 3. The 5 Essential Proof Techniques
Transitioning from computational mathematics to abstract, proof-based thinking is one of the most significant challenges a student can face. At the Massachusetts Institute of Technology (MIT) , the course serves as the essential bridge. It transforms students from passive calculators into rigorous logical thinkers capable of reading, analyzing, and constructing high-quality mathematical arguments.
: Many students find it an essential "intermediate subject" because it provides the proof-writing skills that aren't typically taught in lower-level GIRs (General Institute Requirements).
Solving congruences and understanding Fermat’s Little Theorem. 3. The 5 Essential Proof Techniques