0 0

18.090 Introduction To Mathematical Reasoning Mit

Instructors report that novices struggle most with:

To address this, 18.090 provides weekly “logic warm-ups” and peer-review sessions where students comment on each other’s draft proofs. 18.090 introduction to mathematical reasoning mit

While MIT often cycles through different variations of this course (sometimes combined with Discrete Math), the best resource on MIT OCW is: Instructors report that novices struggle most with:

  • Video Lectures: Look for Tom Leighton or Albert Meyer’s lectures on OCW. They are legendary for explaining Induction and Relations.

  • 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: To address this, 18

    By week two of 18.090, students are constructing truth tables for complex compound propositions and proving logical equivalences. This is the "alphabet" of mathematics.