Kelvin Smith Library celebrates scholarship at Case Western Reserve University by recognizing faculty authors in the Case School of Engineering, College of Arts and Sciences, and the Weatherhead School of Management who have written or edited books.
A guide that shows how to read, understand, and do proofs. It shows how any proof can be understood as a sequence of techniques. It covers a range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction.
When engineers, computer scientists, and economists need to learn how to read, think about, and create proofs, they turn to Solow. In order to make the material more relevant, the exercises in each chapter have been revised and expanded. New and more complete discussions are included on how to use a previously-proved proposition in both the forward and backward processes. The fifth edition also presents new, self-contained chapters on uniqueness, induction, either/or, and max/min methods. Several final examples of how to read and do proofs are included in the final chapter to reinforce the reader's knowledge of the various proof techniques.
This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the student′s level) the various techniques that are used repeatedly in all proofs, regardless of the subject in which the proofs arise. How to Read and Do Proofs also explains when each technique is likely to be used, based on certain key words that appear in the problem under consideration. Doing so enables students to choose a technique consciously, based on the form of the problem.