Review of: How To Prove It: A Structured Approach, Second Edition

摘要

This book is intended for use by undergraduate students transitioning from computational mathematics like calculus and differential equations to advanced proof-based mathematics. It first presents set theory, propositional logic, and predicate logic as foundational material to prepare the student for writing proofs. The heart of the book is the proof strategies, presented in chapter 3. The remainder of the book uses these proof strategies to prove theorems from discrete mathematics topics like functions, relations, and recursion.