How to Prove It
Daniel J. Velleman
13 people recommended it in 10 threads, 2009–2023.
What people on Hacker News said
If you have never seen proofs before, I would first recommend reading the book How to Prove It: A Structured Approach by Daniel J. Velleman, which goes through basic set theory, logic, and various proof techniques. Most importantly, it will give exercises for you to practice.
How to prove it - I like the reduction of proofs to mechanical symbol pushing. Good exercise difficulty for self study, good notation.
I am in a similar situation, and am finding Vellman's "How to Prove It" extremely useful. Having poked around the edges of math for about a year, I finally realized that proofs are central to mathematical maturity... No more eyes crossing when I read a new CS textbook!
I personally found "How to Prove It: A Structured Approach" by Daniel J. Velleman very helpful.
For proof based mathematics, I found "How to Prove It:A Structured Approach" helpful.
"How to Prove It" by D. Velleman. Introduces logical reasoning, set theory, functions, relations, and proofs. It is the base for understanding any mathematical subject.
How to Prove It: A Structured Approach, Velleman (perfectly prepares for reading of pretty much any math book)
A more advanced approach would be to go through a logic book like Velleman that teaches proofs as structured programming.
Where it comes up
- Ask HN: Math books that made you significantly better at math? 2023 · 2 recommendations
- Ask HN: Mathematicians, what textbooks are best for learning these math topics? 2019 · 2 recommendations
- Ask HN: Best Mathematics book for complete noobie? 2009 · 2 recommendations
- St. John’s Reading List: A Great Books Curriculum 2023 · 1 recommendation
- Ask HN: Do you recall any book or course that made a topic finally click? 2022 · 1 recommendation
- Ask HN: The book that did it for you in math and/or CS? 2022 · 1 recommendation
- Ask HN: Recommend a maths book for a teenager? 2020 · 1 recommendation
- Classic Mathematics Books for Lifelong Learners 2019 · 1 recommendation
- Book: Mathematics for Machine Learning 2018 · 1 recommendation
- Ask HN: Books you wish you had read earlier? 2017 · 1 recommendation