18090: Introduction To Mathematical Reasoning Mit Extra Quality [patched]

This review assumes the "Extra Quality" refers to a well-organized set of supplementary notes, problem sets with solutions, or a curated study guide based on MIT's course 18.090 (often a special topics or seminar-style course bridging computation and proof). If it refers to a specific third-party compilation, the review remains applicable to high-quality supplemental materials for MIT’s proof-centric intro courses.

3.2. Error Diagnosis Engine

The YouTube Channel: "TrevTutor" (Mathematical Reasoning playlist) TrevTutor’s explanation of truth trees and natural deduction is far more intuitive than most blackboard lectures. Watch his video on "Negating Quantifiers" before attempting problem set 2 of 18.090. This review assumes the "Extra Quality" refers to

The "Bridge" Metaphor: In high school and early calculus, you are given formulas and asked to compute answers. In 18.090, you are given definitions and asked to prove truths. proofs by contradiction

University of Washington's Introduction to Mathematical Reasoning notes cover nearly identical topics to MIT's 18.090. Department of Mathematics | University of Washington sample proof problem and mathematical induction.

: Direct proofs, proofs by contradiction, and mathematical induction. Algebraic Concepts

2. The MIT PRIMES Problem-Solving Database MIT’s PRIMES (Program for Research in Mathematics, Engineering, and Science) has a public archive of "proof readiness" problems. These are short, elegant, and brutal.