Yayınevi: Academic Press
Yayın tarihi: 10/2008
Ciltli | İngilizce | 384 Sayfa | 19,05x23,11x2,79 cm.
Teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. This book covers a range of techniques used in proofs, including contrapositive, induction, and proof by contradiction. It explains identification of techniques and how they are applied in the specific problem.