Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics.
In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite induction, the axiom of choice, Zorn's lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs.
The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized.
The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process.
Rezensionen / Stimmen
... a treasure trove for anyone who is ... interested in mathematics as a hobby, or as the target of proof automation or assistance. It could also be the basis for a crosscutting course in mathematics, based on seeing how one can apply a single proof technique across the field.
- Simon Thompson in Computing News, May 2011
Gunderson started out collecting some induction problems for discrete math students and then couldn't stop himself, thereafter assembling more than 750 of the addictive things for this handbook and supplementing them with a grounding in theory and discussion of applications. He offers 500-plus complete solutions, and many of the other problems come with hints or references; unlike other treatments, this handbook treats the subject seriously and is not just a 'collection of recipes'. It's a book that will work well with most math or computing science courses, on a subject that pertains to graph theory, point set topology, elementary number theory, linear algebra, analysis, probability theory, geometry, group theory, and game theory, among many other topics.
-SciTech Book News, February 2011
... a unique work ... the ostensibly narrow subject of mathematical induction is carefully and systematically expounded, from its more elementary aspects to some quite sophisticated uses of the technique. This is done with a (very proper!) emphasis on solving problems by means of some form of induction or other ... any of us who regularly teach the undergraduate course aimed at introducing mathematics majors to methods of proof quite simply need to own this book. ... In this boot camp course, it is imperative that problems should be abundant, both in supply and variety, and should be capable of careful dissection. Gunderson hit[s] the mark on both counts ... Gunderson's discussions are evocative and thorough and can be appreciated by mathematicians of all sorts ... [he] develop[s] the requisite surrounding material with great care, considerably enhancing the value of his book as a supplementary text for a huge number of courses, both at an undergraduate and graduate level ... a very welcome addition to the literature ...
-MAA Reviews, December 2010
Reihe
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
Professional
Illustrationen
38 s/w Abbildungen, 9 s/w Tabellen
9 Tables, black and white; 38 Illustrations, black and white
Maße
Höhe: 254 mm
Breite: 178 mm
Dicke: 49 mm
Gewicht
ISBN-13
978-1-138-19901-9 (9781138199019)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
David S. Gunderson is a professor and chair of the Department of Mathematics at the University of Manitoba in Winnipeg, Canada. He earned his Ph.D. in pure mathematics from Emory University. His research interests include Ramsey theory, extremal graph theory, combinatorial geometry, combinatorial number theory, and lattice theory.
Autor*in
University of Manitoba, Winnipeg, Canada
THEORY: What Is Mathematical Induction?. Foundations. Variants of Finite Mathematical Induction. Inductive Techniques Applied to the Infinite. Paradoxes and Sophisms from Induction. Empirical Induction. How to Prove by Induction. The Written MI Proof. APPLICATIONS AND EXERCISES: Identities. Inequalities. Number Theory. Sequences. Sets. Logic and Language. Graphs. Recursion and Algorithms. Games and Recreations. Relations and Functions. Linear and Abstract Algebra. Geometry. Ramsey Theory. Probability and Statistics. SOLUTIONS AND HINTS TO EXERCISES. APPENDICES. References. Index.
