18.090 Introduction To Mathematical Reasoning Mit |work| Now

By taking 18.090, students can expect to develop the following skills and takeaways:

| 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) | 18.090 introduction to mathematical reasoning mit

: Understanding quantifiers ("for all" ∀for all , "there exists" ∃there exists ) and logical connectives ( By taking 18

Mastering injectivity (one-to-one functions), surjectivity (onto functions), and bijectivity (invertible functions). By taking 18.090