Hacker News Reader

Does anybody have any experience with How to Prove It? by Velleman? Recently I was thinking of starting on it, but I'm not sure about the level of commitment necessary.

View on HN

I worked through this book to learn how to do proofs. It turned out way more fun than I expected. The book really did demystify proofs for me. It took several months of studying - there are many exercises. But completely worth it. I'm glad I have read this book before studying Group theory and Real analysis.

Thanks!

Seems to have some intro to logic and math language, if you have never read an math books as the ones referred in this post, that book should be a nice way to ease into it.

I see, thanks. I do have some experience with proofs and maths in general, but I never went through a text dedicated explicitly to developing proving techniques.

I might give it a go anyway, but do you know of a more advanced version of this book as well?

Not really. I'm a math major, what you usually do is have an intro to logic course and then just jump into those books.

Thanks!

Reply on news.ycombinator.com