18.090 Introduction To Mathematical Reasoning Mit __hot__ Jun 2026
| If you want... | Get this... | | :--- | :--- | | | Velleman – How to Prove It | | A free, online reference | Hammack – Book of Proof (people.vcu.edu/~rhammack/BookOfProof/) | | To pass the problem sets | The 18.090 OCW problem set solutions (check your work) | | To understand the logic rules | Solow – How to Read and Do Proofs (Chapter 2–4) |
One student quipped: "In 18.01, I could check my answer by plugging it back in. In 18.090, I have to check my soul for logical consistency." 18.090 introduction to mathematical reasoning mit
Starting from known axioms to reach a conclusion. | If you want
The course introduces the : To disprove a "for all" statement, you only need one counterexample (∃). To disprove a "there exists" statement, you must show it fails for all possibilities (∀). This logical choreography becomes instinctive by the end of the term. This logical choreography becomes instinctive by the end
: Transitioning from concrete numbers to abstract sets, fields, and vector spaces. Syllabus and Foundational Topics